#Processed by Id: cwm.py,v 1.83 2002/01/04 16:16:10 timbl Exp 
        #    using base file:/home/earl/tc/test.n3
        
#  Notation3 generation by
#       notation3.py,v 1.98 2001/11/15 22:11:24 timbl Exp

#   Base was: file:/home/earl/tc/test.n3
     @prefix : <http://www.w3.org/2000/10/swap/log#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
    
    <#TestA>     a <#Success> .
    
    this     :forAll <#s>,
                <#t> .
    {
        this     :notIncludes {
              [      <#pointsTo>  [
                     ] ].
            } .
        
        }     :implies {<#TestA>     a <#Success> .
        } .
    {
        this     :notIncludes {<#x>     <#points>  [
                 ] .
            } .
        
        }     :implies {<#TestB>     a <#Failure> .
        } .
    
    <#x>     <#points> <#y> .
    
#ENDS