#Processed by Id: cwm.py,v 1.30 2001/03/22 16:41:03 timbl Exp 
        #    using base file:/cwm/
        # Input rules to apply from  file:/cwm/filter5.n3

#  Notation3 generation by
#       notation3.py,v 1.54 2001/02/12 18:38:31 timbl Exp

#   Base was: file:/cwm/
     @prefix log: <http://www.w3.org/2000/10/swap/log.n3#> .
     @prefix wl: <http://purl.org/net/sw/wl/#> .
     @prefix : <http://purl.org/net/sw/sbp/#> .
    
    <>     log:forAll <sbp5.n3#x>,
                <sbp5.n3#y> .
    {
        <sbp5.n3#x>     :knowsWell <sbp5.n3#y> .
        
        }     log:implies {<sbp5.n3#y>     :knowsWell <sbp5.n3#x> .
        } .
    
    :Aaron     :emailBox <mailto:aaron@aaronsw.com>;
         :knowsWell :Sean,
                :Seth,
                :William .
    
    :Sean     :knowsWell :Aaron,
                :Seth,
                :William .
    
    :Seth     :emailBox <mailto:seth@robustai.net>;
         :knowsWell :Aaron,
                :Sean,
                :William .
    
    :William     :emailBox <mailto:love26@gorge.net>;
         :knowsWell :Aaron,
                :Sean,
                :Seth .
    
    wl:William     :emailBox <mailto:love26@gorge.net>;
         :knowsWell :Aaron,
                :Sean,
                :Seth;
         wl:knowsWell wl:Gregory;
         = :William .
    
 #ENDS