#Processed by Id: cwm.py,v 1.114 2002/12/30 15:00:33 timbl Exp 
        #    using base file:/devel/WWW/2000/10/swap/test/reason/
        
#  Notation3 generation by
#       notation3.py,v 1.126 2002/12/31 05:50:30 timbl Exp

#   Base was: file:/devel/WWW/2000/10/swap/test/reason/
     @prefix : <foo#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    
    @forAll <eric-b.n3#x>,
                <eric-b.n3#y>,
                <eric-b.n3#z> .
    
    :a     :p1  [
             :bog :bar;
             :foo :bar ] .
    
    :b     :p2  [
             :baz :bar ] .
    {
        <eric-b.n3#x>     :foo <eric-b.n3#y> .
        <eric-b.n3#z>     :baz <eric-b.n3#y> .
        
        }     log:implies {<eric-b.n3#x>     :bog <eric-b.n3#y> .
        } .
    
#ENDS