@prefix log:  <http://www.w3.org/2000/10/swap/log#> .
@prefix string:  <http://www.w3.org/2000/10/swap/string#> .
@prefix : <#>.

# Test the interaction of builtins with variable binding.
# fails as of cwm.py,v 1.47 2001/05/23 01:39:39 timbl
#
# Usage:   cwm includes.n3 -think
#
# Output should conclude all test* a :success and no failures.

:e1 :date "2001-09-27".

@forAll :e, :d.

# find events in september 2001
{ :e :date :d.
  :d string:notLessThan "2001-09";
     string:lessThan "2001-10" } log:implies { :e a :Sep2001Event }.

{ :e1 a :Sep2001Event } log:implies { :t1 a :Success. }.