# Base URI of process is file:/devel/WWW/2000/10/swap/test/
# Input from  file:/devel/WWW/2000/10/swap/test/daml-ex.n3
# Input from  file:/devel/WWW/2000/10/swap/test/invalid-ex.n3
# Input from  file:/devel/WWW/2000/10/swap/test/schema-rules.n3
# Input filter  file:/devel/WWW/2000/10/swap/test/schema-rules.n3
# Input from  file:/devel/WWW/2000/10/swap/test/schema-rules.n3

#  Notation3 generation by
#       notation3.py,v 1.40 2000/12/20 22:44:05 timbl Exp

     @prefix : <http://www.w3.org/2000/10/swap/log#> .
     @prefix ex: <http://www.daml.org/2001/03/daml-ex#> .
     @prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix v: <file:/devel/WWW/2000/10/swap/test/schema-rules.n3#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
    {
        {
            v:x     rdfs:subClassOf v:y .
            v:y     rdfs:subClassOf v:z .
            
            }     :implies {v:x     rdfs:subClassOf v:z .
            } .
        
        }     a :Truth;
         :forAll v:x,
                v:y,
                v:z .
    {
        {
            v:x     ex:ancestor v:y .
            v:y     ex:ancestor v:z .
            
            }     :implies {v:x     ex:ancestor v:z .
            } .
        
        }     a :Truth;
         :forAll v:x,
                v:y,
                v:z .
    {
        {
            v:x     ex:descendant v:y .
            v:y     ex:descendant v:z .
            
            }     :implies {v:x     ex:descendant v:z .
            } .
        
        }     a :Truth;
         :forAll v:x,
                v:y,
                v:z .
    {
        {
            v:x     rdfs:subPropertyOf v:y .
            v:y     rdfs:subPropertyOf v:z .
            
            }     :implies {v:x     rdfs:subPropertyOf v:z .
            } .
        
        }     a :Truth;
         :forAll v:x,
                v:y,
                v:z .
    
 #ENDS