#Processed by Id: cwm.py,v 1.27 2001/02/05 19:58:24 timbl Exp 
        #    using base file:/devel/WWW/2000/10/swap/test/
        
#  Notation3 generation by
#       notation3.py,v 1.53 2001/02/05 01:13:24 timbl Exp

#   Base was: file:/devel/WWW/2000/10/swap/test/
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix : <#> .
     @prefix daml: <http://www.daml.org/2000/10/daml-ont#> .
    {
        :p     a daml:TransitiveProperty .
        
        }     log:implies {{
            {
                :x     :p :y .
                :y     :p :z .
                
                }     log:implies {:x     :p :z .
                } .
            
            }     a log:Truth;
             log:forAll :x,
                    :y,
                    :z .
        } .
    
    :ancestor     a daml:TransitiveProperty .
    
    :granpa     :ancestor :pa .
    
    :pa     :ancestor :bill .
    
    <>     log:forAll :p .
    
 #ENDS