@prefix : <#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix string: <http://www.w3.org/2000/10/swap/string#> .
    
    @forAll :d,
                :e .
    
    :e1     a :Sep2001Event;
         :date "2001-09-27" .
    
    :t1     a :Success .
    {
        :e1     a :Sep2001Event .
        
        }     log:implies {:t1     a :Success .
        } .
    {
        :d     string:lessThan "2001-10";
             string:notLessThan "2001-09" .
        :e     :date :d .
        
        }     log:implies {:e     a :Sep2001Event .
        } .