@prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix ex: <daml-ex.n3#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix rules: <rules12.n3#> .
    
     @forSome <#_g0>,
                <#_g1>,
                <#_g2>,
                <run#li3>,
                <run#li2>,
                <run#li1>,
                <run#li5>,
                <run#li4>,
                <run#li7>,
                <run#li6> .
    
    <run#li3>     rdf:first ex:short;
         rdf:rest <run#li2> .
    
    <run#li2>     rdf:first ex:medium;
         rdf:rest <run#li1> .
    
    <run#li1>     rdf:first ex:tall;
         rdf:rest () .
    
    <run#li5>     rdf:first ex:Man;
         rdf:rest <run#li4> .
    
    <run#li4>     rdf:first ex:Woman;
         rdf:rest () .
    
    <run#li7>     rdf:first ex:TallThing;
         rdf:rest <run#li6> .
    
    <run#li6>     rdf:first ex:Man;
         rdf:rest () .
    
    ex:Adam     a daml:Person;
         daml:comment "Adam is a person.";
         daml:label "Adam" .
    
    ex:Animal     a daml:Class;
         daml:comment """This class of animals is illustrative of a number of
	ontological idioms.""";
         daml:label "Animal" .
    
    ex:Car     a daml:Class;
         daml:comment "no car is a person" .
    
    <#_g2>     a daml:Class;
         daml:complementOf ex:Person .
    
    ex:Car     daml:subClassOf <#_g2> .
    
    ex:Female     a daml:Class;
         daml:disjointFrom ex:Male;
         daml:subClassOf ex:Animal .
    
    ex:Height     a daml:Class;
         daml:oneOf <run#li3> .
    
    ex:Male     a daml:Class;
         daml:subClassOf ex:Animal .
    
    ex:Man     a daml:Class;
         daml:subClassOf ex:Male,
                ex:Person .
    
    ex:Person     a daml:Class;
         daml:comment "every person is a man or a woman";
         daml:disjointUnionOf <run#li5> .
    
    <#_g1>     a daml:Restriction;
         daml:onProperty ex:parent;
         daml:toClass ex:Person .
    
    ex:Person     daml:restrictedBy <#_g1>;
         daml:subClassOf ex:Animal .
    
    ex:TallMan     a daml:Class;
         daml:intersectionOf <run#li7> .
    
    ex:TallThing     a daml:Class .
    
    <#_g0>     a daml:Restriction;
         daml:onProperty ex:height;
         daml:toValue ex:tall .
    
    ex:TallThing     daml:restrictedBy <#_g0> .
    
    ex:Woman     a daml:Class;
         daml:subClassOf ex:Female,
                ex:Person .
    
    ex:ancestor     a daml:TransitiveProperty;
         daml:label "ancestor" .
    
    ex:child     a daml:Property;
         daml:inverseOf ex:parent .
    
    ex:descendant     a daml:TransitiveProperty .
    
    ex:father     a daml:Property;
         daml:cardinality "1";
         daml:range ex:Man;
         daml:subProperty ex:parent .
    
    ex:height     a daml:Property;
         daml:domain ex:Person;
         daml:range ex:Height .
    
    ex:mom     a daml:Property;
         = ex:mother .
    
    ex:mother     a daml:UniqueProperty;
         daml:range ex:Woman;
         daml:subProperty ex:parent .
    
    ex:occupation     a daml:Property;
         daml:maxCardinality "1" .
    
    ex:parent     a daml:Property;
         daml:cardinality "2";
         daml:domain ex:Animal .
    
    <daml-ex.n3>     a daml:Ontology;
         daml:comment "An example ontology";
         daml:imports <http://www.daml.org/2000/10/daml-ont>;
         daml:versionInfo "" .
    
    rules:ancestor     a daml:TransitiveProperty .
    
    rules:granpa     rules:ancestor rules:pa .
    
    rules:pa     rules:ancestor rules:bill .