;;; Declaring the triple template ---------------------------------
(deftemplate triple "Template representing a triple" 
 (slot predicate (default "")) 
 (slot subject   (default "")) 
 (slot object    (default ""))
)


(open "testRel.txt" test "w")


  
(defrule rule-1
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasChild")
    (subject    ?x)
    (object   ?y)
  )
        
        
          
            
            
              
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject    ?y)
    (object   "http://a.com/ontology#Man")
  )
            
          
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasSon")
    (subject    ?x)
    (object   ?y)
  )
        
      
    
) 
)

  
  
(defrule rule-2
      
        
          
            
            
              
  (triple
    (predicate "http://a.com/ontology#hasChild")
    (subject    ?y)
    (object   ?x)
  )
            
          
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasConsort")
    (subject    ?y)
    (object   ?z)
  )
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasChild")
    (subject    ?z)
    (object   ?x)
  )
        
      
    
) 
)
  
  
  
(defrule rule-3
      
        
          
            
            
              
  (triple
    (predicate "http://a.com/ontology#hasParent")
    (subject    ?x)
    (object   ?y)
  )
            
          
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasConsort")
    (subject    ?y)
    (object   ?z)
  )
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasParent")
    (subject    ?x)
    (object   ?z)
  )
        
      
    
) 
)

  
(defrule rule-4
      
        
          
            
              
  (triple
    (predicate "http://a.com/ontology#hasSister")
    (subject    ?y)
    (object   ?z)
  )
            
            
          
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasParent")
    (subject    ?x)
    (object   ?y)
  )
        
      
    
  =>  
(assert  
  
      

        
        
          
  (triple
    (predicate "http://a.com/ontology#hasAunt")
    (subject    ?x)
    (object   ?z)
  )
        
      
    
) 
)

  
(defrule rule-5
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasParent")
    (subject    ?x)
    (object   ?y)
  )
        
        
          
            
              
  (triple
    (predicate "http://a.com/ontology#hasBrother")
    (subject    ?y)
    (object   ?z)
  )
            
            
          
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasUncle")
    (subject    ?x)
    (object   ?z)
  )
        
      
    
) 
)

  
(defrule rule-6
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasChild")
    (subject    ?x)
    (object   ?y)
  )
        
        
          
            
              
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject    ?y)
    (object   "http://a.com/ontology#Woman")
  )
            
            
          
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasDaughter")
    (subject    ?x)
    (object   ?y)
  )
        
      
    
) 
)

  
  

  
(defrule rule-7
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasParent")
    (subject    ?x)
    (object   ?y)
  )
        
        
          
            
              
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject    ?y)
    (object   "http://a.com/ontology#Woman")
  )
            
            
          
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasMother")
    (subject    ?x)
    (object   ?y)
  )
        
      
    
) 
)

  
(defrule rule-8
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasSibling")
    (subject    ?x)
    (object   ?y)
  )
        
        
          
            
            
              
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject    ?y)
    (object   "http://a.com/ontology#Man")
  )
            
          
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasBrother")
    (subject    ?x)
    (object   ?y)
  )
        
      
    
) 
)

  
(defrule rule-9
      
        
          
            
            
              
  (triple
    (predicate "http://a.com/ontology#hasDaughter")
    (subject    ?y)
    (object   ?z)
  )
            
          
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasSibling")
    (subject    ?x)
    (object   ?y)
  )
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasNiece")
    (subject    ?x)
    (object   ?z)
  )
        
      
    
) 
)

  
(defrule rule-10
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasSibling")
    (subject    ?x)
    (object   ?y)
  )
        
        
          
            
            
              
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject    ?y)
    (object   "http://a.com/ontology#Woman")
  )
            
          
        
      
    
  =>  
(assert  
  
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasSister")
    (subject    ?x)
    (object   ?y)
  )
        
        
      
    
) 
)

  
(defrule rule-11
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasChild")
    (subject    ?y)
    (object   ?x)
  )
        
            
  (triple
    (predicate "http://a.com/ontology#hasChild")
    (subject    ?y)
    (object   ?z&~?x)
  )
      
    
  =>  
(assert  

  (triple
    (predicate "http://a.com/ontology#hasSibling")
    (subject    ?x)
    (object   ?z)
  )
        
      
    
) 
)

  
(defrule rule-12
      
        
          
            
              
  (triple
    (predicate "http://a.com/ontology#hasSon")
    (subject    ?y)
    (object   ?z)
  )
            
            
          
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasSibling")
    (subject    ?x)
    (object   ?y)
  )
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasNephew")
    (subject    ?x)
    (object   ?z)
  )
        
      
    
) 
)

  
(defrule rule-13
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasParent")
    (subject    ?x)
    (object   ?y)
  )
        
        
          
            
            
              
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject    ?y)
    (object   "http://a.com/ontology#Man")
  )
            
          
        
      
    
  =>  
(assert  
  
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasFather")
    (subject    ?x)
    (object   ?y)
  )
        
        
      
    
) 
)

  
  
(defrule rule-14
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasParent")
    (subject    ?y)
    (object   ?x)
  )
        
        
      
    
  =>  
(assert  
  
      
        
          
  (triple
    (predicate "http://a.com/ontology#hasDescendent")
    (subject    ?x)
    (object   ?y)
  )
        
        
      
    
) 
)
  

  
(defrule rule-15
      
        
          
            
              
  (triple
    (predicate "http://a.com/ontology#hasDescendent")
    (subject    ?x)
    (object   ?z)
  )
            
            
          
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasParent")
    (subject    ?x)
    (object   ?y)
  )
        
      
    
  =>  
(assert  
  
      
        
        
          
  (triple
    (predicate "http://a.com/ontology#hasDescendent")
    (subject    ?y)
    (object   ?z)
  )
        
      
    
) 
)

    


(defrule test
  (triple
    (predicate "http://a.com/ontology#hasDescendent")
    (subject    ?x)
    (object   ?y)
  )
  =>
  (printout test ?x " *hasDescendent* " ?y crlf)
)

    
(reset)


  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#")
    (object    "http://www.w3.org/2002/07/owl#Ontology")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#imports")
   (subject   "http://a.com/ontology#")
   (object    "http://www.daml.org/rules/proposal/swrlb.owl")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#imports")
   (subject   "http://a.com/ontology#")
   (object    "http://www.daml.org/rules/proposal/swrl.owl")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Gender")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Gender")
   (object    "http://a.com/ontology#N400021")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400021")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#oneOf")
   (subject   "http://a.com/ontology#N400021")
   (object    "http://a.com/ontology#Female")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#oneOf")
   (subject   "http://a.com/ontology#N400021")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Woman")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Woman")
   (object    "http://a.com/ontology#N400035")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400035")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400035")
   (object    "http://a.com/ontology#N40003A")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#hasValue")
   (subject   "http://a.com/ontology#N40003A")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N40003A")
   (object    "http://a.com/ontology#hasSex")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSex")
    (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400035")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Aunt")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#disjointWith")
   (subject   "http://a.com/ontology#Aunt")
   (object    "http://a.com/ontology#Uncle")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Uncle")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
   (subject   "http://a.com/ontology#Aunt")
   (object    "http://a.com/ontology#Relative")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Relative")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Aunt")
   (object    "http://a.com/ontology#N40005E")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40005E")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N40005E")
   (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N40005E")
   (object    "http://a.com/ontology#N400066")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N400066")
   (object    "http://a.com/ontology#N40006B")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N40006B")
   (object    "http://a.com/ontology#hasNephew")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasNephew")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#minCardinality")
   (subject   "http://a.com/ontology#N40006B")
   (object    "1")
  )
)  
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N400066")
   (object    "http://a.com/ontology#N400078")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N400078")
   (object    "http://a.com/ontology#hasNiece")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasNiece")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#minCardinality")
   (subject   "http://a.com/ontology#N400078")
   (object    "1")
  )
)  
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Person")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Person")
   (object    "http://a.com/ontology#N400090")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400090")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N400090")
   (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N400090")
   (object    "http://a.com/ontology#Woman")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Father")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Father")
   (object    "http://a.com/ontology#N4000A4")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4000A4")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4000A4")
   (object    "http://a.com/ontology#Parent")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4000A4")
   (object    "http://a.com/ontology#Man")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Relative")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
   (subject   "http://a.com/ontology#Relative")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Relative")
   (object    "http://a.com/ontology#N4000BB")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4000BB")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N4000BB")
   (object    "http://a.com/ontology#Child")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N4000BB")
   (object    "http://a.com/ontology#Parent")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N4000BB")
   (object    "http://a.com/ontology#Aunt")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N4000BB")
   (object    "http://a.com/ontology#Nephew")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N4000BB")
   (object    "http://a.com/ontology#Niece")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N4000BB")
   (object    "http://a.com/ontology#Uncle")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N4000BB")
   (object    "http://a.com/ontology#Sibling")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Son")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Son")
   (object    "http://a.com/ontology#N4000DE")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4000DE")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4000DE")
   (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4000DE")
   (object    "http://a.com/ontology#Child")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#disjointWith")
   (subject   "http://a.com/ontology#Son")
   (object    "http://a.com/ontology#Daugther")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Daugther")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Mother")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Mother")
   (object    "http://a.com/ontology#N4000F8")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4000F8")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4000F8")
   (object    "http://a.com/ontology#Parent")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4000F8")
   (object    "http://a.com/ontology#Woman")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Sibling")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Sibling")
   (object    "http://a.com/ontology#N40010C")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40010C")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N40010C")
   (object    "http://a.com/ontology#N400111")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N400111")
   (object    "http://a.com/ontology#hasSibling")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSibling")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#minCardinality")
   (subject   "http://a.com/ontology#N400111")
   (object    "1")
  )
)  
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N40010C")
   (object    "http://a.com/ontology#N40011E")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#allValuesFrom")
   (subject   "http://a.com/ontology#N40011E")
   (object    "http://a.com/ontology#Sibling")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Sibling")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N40011E")
   (object    "http://a.com/ontology#hasSibling")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSibling")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N40010C")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Uncle")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Uncle")
   (object    "http://a.com/ontology#N400139")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400139")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400139")
   (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400139")
   (object    "http://a.com/ontology#N400141")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N400141")
   (object    "http://a.com/ontology#N400146")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#minCardinality")
   (subject   "http://a.com/ontology#N400146")
   (object    "1")
  )
)  
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N400146")
   (object    "http://a.com/ontology#hasNephew")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasNephew")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N400141")
   (object    "http://a.com/ontology#N400153")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#minCardinality")
   (subject   "http://a.com/ontology#N400153")
   (object    "1")
  )
)  
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N400153")
   (object    "http://a.com/ontology#hasNiece")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasNiece")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
   (subject   "http://a.com/ontology#Uncle")
   (object    "http://a.com/ontology#Relative")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
   (subject   "http://a.com/ontology#Uncle")
   (object    "http://a.com/ontology#N40016A")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40016A")
    (object    "http://www.w3.org/2002/07/owl#Restriction")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#hasValue")
   (subject   "http://a.com/ontology#N40016A")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N40016A")
   (object    "http://a.com/ontology#hasSex")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSex")
    (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#disjointWith")
   (subject   "http://a.com/ontology#Uncle")
   (object    "http://a.com/ontology#Aunt")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Sister")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Sister")
   (object    "http://a.com/ontology#N400180")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400180")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400180")
   (object    "http://a.com/ontology#Sibling")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400180")
   (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#disjointWith")
   (subject   "http://a.com/ontology#Sister")
   (object    "http://a.com/ontology#Brother")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Brother")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Child")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Child")
   (object    "http://a.com/ontology#N40019A")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40019A")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N40019A")
   (object    "http://a.com/ontology#N40019F")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N40019F")
   (object    "http://a.com/ontology#hasParent")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasParent")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#someValuesFrom")
   (subject   "http://a.com/ontology#N40019F")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N40019A")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Man")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Man")
   (object    "http://a.com/ontology#N4001B7")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4001B7")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4001B7")
   (object    "http://a.com/ontology#N4001BC")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#hasValue")
   (subject   "http://a.com/ontology#N4001BC")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N4001BC")
   (object    "http://a.com/ontology#hasSex")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSex")
    (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4001B7")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Daugther")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#disjointWith")
   (subject   "http://a.com/ontology#Daugther")
   (object    "http://a.com/ontology#Son")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Daugther")
   (object    "http://a.com/ontology#N4001D7")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4001D7")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4001D7")
   (object    "http://a.com/ontology#Child")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4001D7")
   (object    "http://a.com/ontology#Woman")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Nephew")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
   (subject   "http://a.com/ontology#Nephew")
   (object    "http://a.com/ontology#N4001EB")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4001EB")
    (object    "http://www.w3.org/2002/07/owl#Restriction")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N4001EB")
   (object    "http://a.com/ontology#hasSex")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSex")
    (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#hasValue")
   (subject   "http://a.com/ontology#N4001EB")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Nephew")
   (object    "http://a.com/ontology#N4001FA")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4001FA")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4001FA")
   (object    "http://a.com/ontology#N4001FF")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N4001FF")
   (object    "http://a.com/ontology#N400204")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#minCardinality")
   (subject   "http://a.com/ontology#N400204")
   (object    "1")
  )
)  
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N400204")
   (object    "http://a.com/ontology#hasUncle")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasUncle")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N4001FF")
   (object    "http://a.com/ontology#N400211")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N400211")
   (object    "http://a.com/ontology#hasAunt")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasAunt")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#minCardinality")
   (subject   "http://a.com/ontology#N400211")
   (object    "1")
  )
)  
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N4001FA")
   (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#disjointWith")
   (subject   "http://a.com/ontology#Nephew")
   (object    "http://a.com/ontology#Niece")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Niece")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
   (subject   "http://a.com/ontology#Nephew")
   (object    "http://a.com/ontology#Relative")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Niece")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#disjointWith")
   (subject   "http://a.com/ontology#Niece")
   (object    "http://a.com/ontology#Nephew")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Niece")
   (object    "http://a.com/ontology#N400238")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400238")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400238")
   (object    "http://a.com/ontology#N40023D")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N40023D")
   (object    "http://a.com/ontology#N400242")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#minCardinality")
   (subject   "http://a.com/ontology#N400242")
   (object    "1")
  )
)  
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N400242")
   (object    "http://a.com/ontology#hasUncle")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasUncle")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#unionOf")
   (subject   "http://a.com/ontology#N40023D")
   (object    "http://a.com/ontology#N40024F")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#minCardinality")
   (subject   "http://a.com/ontology#N40024F")
   (object    "1")
  )
)  
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N40024F")
   (object    "http://a.com/ontology#hasAunt")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasAunt")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400238")
   (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
   (subject   "http://a.com/ontology#Niece")
   (object    "http://a.com/ontology#N400266")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400266")
    (object    "http://www.w3.org/2002/07/owl#Restriction")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N400266")
   (object    "http://a.com/ontology#hasSex")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSex")
    (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#hasValue")
   (subject   "http://a.com/ontology#N400266")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf")
   (subject   "http://a.com/ontology#Niece")
   (object    "http://a.com/ontology#Relative")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Brother")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Brother")
   (object    "http://a.com/ontology#N40027C")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40027C")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N40027C")
   (object    "http://a.com/ontology#Sibling")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N40027C")
   (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#disjointWith")
   (subject   "http://a.com/ontology#Brother")
   (object    "http://a.com/ontology#Sister")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Parent")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#equivalentClass")
   (subject   "http://a.com/ontology#Parent")
   (object    "http://a.com/ontology#N400293")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400293")
    (object    "http://www.w3.org/2002/07/owl#Class")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400293")
   (object    "http://a.com/ontology#N400298")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#someValuesFrom")
   (subject   "http://a.com/ontology#N400298")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#onProperty")
   (subject   "http://a.com/ontology#N400298")
   (object    "http://a.com/ontology#hasChild")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasChild")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#intersectionOf")
   (subject   "http://a.com/ontology#N400293")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasConsort")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasConsort")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
   (subject   "http://a.com/ontology#hasConsort")
   (object    "http://www.w3.org/2002/07/owl#SymmetricProperty")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasConsort")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
   (subject   "http://a.com/ontology#hasConsort")
   (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasNephew")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasNephew")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasNephew")
   (object    "http://a.com/ontology#Man")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasNiece")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasNiece")
   (object    "http://a.com/ontology#Woman")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasNiece")
   (object    "http://a.com/ontology#Person")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasMother")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasMother")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
   (subject   "http://a.com/ontology#hasMother")
   (object    "http://a.com/ontology#hasParent")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasParent")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
   (subject   "http://a.com/ontology#hasMother")
   (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasMother")
   (object    "http://a.com/ontology#Woman")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasUncle")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasUncle")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasUncle")
   (object    "http://a.com/ontology#Man")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSibling")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasSibling")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
   (subject   "http://a.com/ontology#hasSibling")
   (object    "http://www.w3.org/2002/07/owl#SymmetricProperty")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasSibling")
   (object    "http://a.com/ontology#Person")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasDescendent")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasDescendent")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
   (subject   "http://a.com/ontology#hasDescendent")
   (object    "http://www.w3.org/2002/07/owl#TransitiveProperty")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasDescendent")
   (object    "http://a.com/ontology#Person")
  )
)
    
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasBrother")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasBrother")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
   (subject   "http://a.com/ontology#hasBrother")
   (object    "http://a.com/ontology#hasSibling")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasBrother")
   (object    "http://a.com/ontology#Man")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSon")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
   (subject   "http://a.com/ontology#hasSon")
   (object    "http://a.com/ontology#hasChild")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasChild")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasSon")
   (object    "http://a.com/ontology#Man")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasSon")
   (object    "http://a.com/ontology#Person")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasDaughter")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasDaughter")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
   (subject   "http://a.com/ontology#hasDaughter")
   (object    "http://a.com/ontology#hasChild")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasChild")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasDaughter")
   (object    "http://a.com/ontology#Woman")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasAunt")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasAunt")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasAunt")
   (object    "http://a.com/ontology#Woman")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSister")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
   (subject   "http://a.com/ontology#hasSister")
   (object    "http://a.com/ontology#hasSibling")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasSister")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasSister")
   (object    "http://a.com/ontology#Woman")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasChild")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasChild")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasChild")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#inverseOf")
   (subject   "http://a.com/ontology#hasChild")
   (object    "http://a.com/ontology#hasParent")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasParent")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasParent")
    (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasParent")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasParent")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2002/07/owl#inverseOf")
   (subject   "http://a.com/ontology#hasParent")
   (object    "http://a.com/ontology#hasChild")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasFather")
    (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasFather")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf")
   (subject   "http://a.com/ontology#hasFather")
   (object    "http://a.com/ontology#hasParent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
   (subject   "http://a.com/ontology#hasFather")
   (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasFather")
   (object    "http://a.com/ontology#Man")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#hasSex")
    (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#hasSex")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#hasSex")
   (object    "http://a.com/ontology#Gender")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
   (subject   "http://a.com/ontology#hasSex")
   (object    "http://www.w3.org/2002/07/owl#ObjectProperty")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#name")
    (object    "http://www.w3.org/2002/07/owl#FunctionalProperty")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#domain")
   (subject   "http://a.com/ontology#name")
   (object    "http://a.com/ontology#Person")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
   (subject   "http://a.com/ontology#name")
   (object    "http://www.w3.org/2002/07/owl#DatatypeProperty")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2000/01/rdf-schema#range")
   (subject   "http://a.com/ontology#name")
   (object    "http://www.w3.org/2001/XMLSchema#string")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F04")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F04")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F04")
   (object    "Marilyn")
  )
)  
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#z")
    (object    "http://www.w3.org/2003/11/swrl#Variable")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#y")
    (object    "http://www.w3.org/2003/11/swrl#Variable")
  )
)
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F08")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F08")
   (object    "Emily")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F08")
   (object    "http://a.com/ontology#Female")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F05")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#F05")
   (object    "http://a.com/ontology#M02")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M02")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M02")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasConsort")
   (subject   "http://a.com/ontology#M02")
   (object    "http://a.com/ontology#F04")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#M02")
   (object    "http://a.com/ontology#M01")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M01")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M01")
   (object    "http://a.com/ontology#M02")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M01")
   (object    "http://a.com/ontology#F03")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F03")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F03")
   (object    "Elizabeth")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F03")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#F03")
   (object    "http://a.com/ontology#M01")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasConsort")
   (subject   "http://a.com/ontology#M01")
   (object    "http://a.com/ontology#F01")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F01")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F01")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F01")
   (object    "Mary")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M01")
   (object    "Bill")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M01")
   (object    "http://a.com/ontology#F02")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F02")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F02")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F02")
   (object    "Catherine")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#F02")
   (object    "http://a.com/ontology#M01")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M01")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M02")
   (object    "http://a.com/ontology#F05")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M02")
   (object    "http://a.com/ontology#M03")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M03")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M03")
   (object    "George")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M03")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasConsort")
   (subject   "http://a.com/ontology#M03")
   (object    "http://a.com/ontology#F08")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#M03")
   (object    "http://a.com/ontology#M02")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M03")
   (object    "http://a.com/ontology#F09")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F09")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#F09")
   (object    "http://a.com/ontology#M03")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F09")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F09")
   (object    "Surrey")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M02")
   (object    "Adam")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M02")
   (object    "http://a.com/ontology#M05")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M05")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#M05")
   (object    "http://a.com/ontology#M02")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M05")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M05")
   (object    "Michael")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F05")
   (object    "Anna")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F05")
   (object    "http://a.com/ontology#Female")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasSon")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasSon")
   (object    "http://a.com/ontology#N400448")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400448")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400448")
   (object    "http://a.com/ontology#N40044C")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40044C")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40044C")
   (object    "http://a.com/ontology#hasChild")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40044C")
   (object    "http://a.com/ontology#x")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#x")
    (object    "http://www.w3.org/2003/11/swrl#Variable")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40044C")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400448")
   (object    "http://a.com/ontology#N40045E")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40045E")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N40045E")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N40045E")
   (object    "http://a.com/ontology#N400465")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400465")
    (object    "http://www.w3.org/2003/11/swrl#ClassAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#classPredicate")
   (subject   "http://a.com/ontology#N400465")
   (object    "http://a.com/ontology#Man")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400465")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasSon")
   (object    "http://a.com/ontology#N400475")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400475")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400475")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400475")
   (object    "http://a.com/ontology#N40047C")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40047C")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40047C")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40047C")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40047C")
   (object    "http://a.com/ontology#hasSon")
  )
)
  
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasChild")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasChild")
   (object    "http://a.com/ontology#N400491")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400491")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400491")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400491")
   (object    "http://a.com/ontology#N400498")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400498")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400498")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400498")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400498")
   (object    "http://a.com/ontology#hasChild")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasChild")
   (object    "http://a.com/ontology#N4004A9")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4004A9")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4004A9")
   (object    "http://a.com/ontology#N4004AD")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4004AD")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4004AD")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4004AD")
   (object    "http://a.com/ontology#N4004B4")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4004B4")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4004B4")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4004B4")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4004B4")
   (object    "http://a.com/ontology#hasChild")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4004A9")
   (object    "http://a.com/ontology#N4004C5")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4004C5")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4004C5")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4004C5")
   (object    "http://a.com/ontology#hasConsort")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4004C5")
   (object    "http://a.com/ontology#y")
  )
)
    
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasParent")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasParent")
   (object    "http://a.com/ontology#N4004DA")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4004DA")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4004DA")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4004DA")
   (object    "http://a.com/ontology#N4004E1")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4004E1")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4004E1")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4004E1")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4004E1")
   (object    "http://a.com/ontology#hasParent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasParent")
   (object    "http://a.com/ontology#N4004F2")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4004F2")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4004F2")
   (object    "http://a.com/ontology#N4004F6")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4004F6")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4004F6")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4004F6")
   (object    "http://a.com/ontology#N4004FD")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4004FD")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4004FD")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4004FD")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4004FD")
   (object    "http://a.com/ontology#hasParent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4004F2")
   (object    "http://a.com/ontology#N40050E")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40050E")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40050E")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40050E")
   (object    "http://a.com/ontology#hasConsort")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40050E")
   (object    "http://a.com/ontology#y")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasAunt")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasAunt")
   (object    "http://a.com/ontology#N400523")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400523")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400523")
   (object    "http://a.com/ontology#N400527")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400527")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400527")
   (object    "http://a.com/ontology#N40052B")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40052B")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40052B")
   (object    "http://a.com/ontology#hasSister")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40052B")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40052B")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400527")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400523")
   (object    "http://a.com/ontology#N40053F")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40053F")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40053F")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40053F")
   (object    "http://a.com/ontology#hasParent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40053F")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasAunt")
   (object    "http://a.com/ontology#N400550")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400550")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400550")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400550")
   (object    "http://a.com/ontology#N400557")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400557")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400557")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400557")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400557")
   (object    "http://a.com/ontology#hasAunt")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasUncle")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasUncle")
   (object    "http://a.com/ontology#N40056C")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40056C")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N40056C")
   (object    "http://a.com/ontology#N400570")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400570")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400570")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400570")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400570")
   (object    "http://a.com/ontology#hasParent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N40056C")
   (object    "http://a.com/ontology#N40057F")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40057F")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N40057F")
   (object    "http://a.com/ontology#N400583")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400583")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400583")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400583")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400583")
   (object    "http://a.com/ontology#hasBrother")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N40057F")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasUncle")
   (object    "http://a.com/ontology#N400599")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400599")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400599")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400599")
   (object    "http://a.com/ontology#N4005A0")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4005A0")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4005A0")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4005A0")
   (object    "http://a.com/ontology#hasUncle")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4005A0")
   (object    "http://a.com/ontology#x")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasDaughter")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasDaughter")
   (object    "http://a.com/ontology#N4005B5")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4005B5")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4005B5")
   (object    "http://a.com/ontology#N4005B9")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4005B9")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4005B9")
   (object    "http://a.com/ontology#hasChild")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4005B9")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4005B9")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4005B5")
   (object    "http://a.com/ontology#N4005C8")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4005C8")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4005C8")
   (object    "http://a.com/ontology#N4005CC")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4005CC")
    (object    "http://www.w3.org/2003/11/swrl#ClassAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#classPredicate")
   (subject   "http://a.com/ontology#N4005CC")
   (object    "http://a.com/ontology#Woman")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4005CC")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4005C8")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasDaughter")
   (object    "http://a.com/ontology#N4005DF")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4005DF")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4005DF")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4005DF")
   (object    "http://a.com/ontology#N4005E6")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4005E6")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4005E6")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4005E6")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4005E6")
   (object    "http://a.com/ontology#hasDaughter")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F06")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#F06")
   (object    "http://a.com/ontology#M04")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M04")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M04")
   (object    "http://a.com/ontology#M06")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M06")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M06")
   (object    "Tom")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#M06")
   (object    "http://a.com/ontology#M04")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M06")
   (object    "http://a.com/ontology#M09")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M09")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M09")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#M09")
   (object    "http://a.com/ontology#M06")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M09")
   (object    "Ronald")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasConsort")
   (subject   "http://a.com/ontology#M06")
   (object    "http://a.com/ontology#F10")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F10")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F10")
   (object    "Whitney")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F10")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M06")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M04")
   (object    "Phillipe")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M04")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#M04")
   (object    "http://a.com/ontology#M07")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M07")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasConsort")
   (subject   "http://a.com/ontology#M07")
   (object    "http://a.com/ontology#F07")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#F07")
    (object    "http://a.com/ontology#Woman")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F07")
   (object    "Audrey")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F07")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M07")
   (object    "Johon")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M07")
   (object    "http://a.com/ontology#M04")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M07")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M04")
   (object    "http://a.com/ontology#F06")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasConsort")
   (subject   "http://a.com/ontology#M04")
   (object    "http://a.com/ontology#F03")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#F06")
   (object    "http://a.com/ontology#Female")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#F06")
   (object    "Eva")
  )
)  
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400664")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400664")
   (object    "http://a.com/ontology#hasSister")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400664")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400664")
   (object    "http://a.com/ontology#y")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M08")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M08")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasChild")
   (subject   "http://a.com/ontology#M08")
   (object    "http://a.com/ontology#M10")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#M10")
    (object    "http://a.com/ontology#Man")
  )
)
(assert
  (triple
   (predicate "http://a.com/ontology#hasParent")
   (subject   "http://a.com/ontology#M10")
   (object    "http://a.com/ontology#M08")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M10")
   (object    "Jack")
  )
)  
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasSex")
   (subject   "http://a.com/ontology#M10")
   (object    "http://a.com/ontology#Male")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#hasConsort")
   (subject   "http://a.com/ontology#M08")
   (object    "http://a.com/ontology#F06")
  )
)
  
(assert
  (triple
   (predicate "http://a.com/ontology#name")
   (subject   "http://a.com/ontology#M08")
   (object    "Jimmy")
  )
)  
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasMother")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasMother")
   (object    "http://a.com/ontology#N400694")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400694")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400694")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400694")
   (object    "http://a.com/ontology#N40069B")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40069B")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40069B")
   (object    "http://a.com/ontology#hasMother")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40069B")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40069B")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasMother")
   (object    "http://a.com/ontology#N4006AC")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4006AC")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4006AC")
   (object    "http://a.com/ontology#N4006B0")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4006B0")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4006B0")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4006B0")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4006B0")
   (object    "http://a.com/ontology#hasParent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4006AC")
   (object    "http://a.com/ontology#N4006BF")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4006BF")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4006BF")
   (object    "http://a.com/ontology#N4006C3")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4006C3")
    (object    "http://www.w3.org/2003/11/swrl#ClassAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#classPredicate")
   (subject   "http://a.com/ontology#N4006C3")
   (object    "http://a.com/ontology#Woman")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4006C3")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4006BF")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasBrother")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasBrother")
   (object    "http://a.com/ontology#N4006DA")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4006DA")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4006DA")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4006DA")
   (object    "http://a.com/ontology#N4006E1")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4006E1")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4006E1")
   (object    "http://a.com/ontology#hasBrother")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4006E1")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4006E1")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasBrother")
   (object    "http://a.com/ontology#N4006F2")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4006F2")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4006F2")
   (object    "http://a.com/ontology#N4006F6")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4006F6")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4006F6")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4006F6")
   (object    "http://a.com/ontology#hasSibling")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4006F6")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4006F2")
   (object    "http://a.com/ontology#N400705")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400705")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400705")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400705")
   (object    "http://a.com/ontology#N40070C")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40070C")
    (object    "http://www.w3.org/2003/11/swrl#ClassAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40070C")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#classPredicate")
   (subject   "http://a.com/ontology#N40070C")
   (object    "http://a.com/ontology#Man")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasNiece")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasNiece")
   (object    "http://a.com/ontology#N400720")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400720")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400720")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400720")
   (object    "http://a.com/ontology#N400727")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400727")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400727")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400727")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400727")
   (object    "http://a.com/ontology#hasNiece")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasNiece")
   (object    "http://a.com/ontology#N400738")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400738")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400738")
   (object    "http://a.com/ontology#N40073C")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40073C")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N40073C")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N40073C")
   (object    "http://a.com/ontology#N400743")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400743")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400743")
   (object    "http://a.com/ontology#hasDaughter")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400743")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400743")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400738")
   (object    "http://a.com/ontology#N400754")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400754")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400754")
   (object    "http://a.com/ontology#hasSibling")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400754")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400754")
   (object    "http://a.com/ontology#y")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasSister")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasSister")
   (object    "http://a.com/ontology#N400769")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400769")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400769")
   (object    "http://a.com/ontology#N40076D")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40076D")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40076D")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40076D")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40076D")
   (object    "http://a.com/ontology#hasSister")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400769")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasSister")
   (object    "http://a.com/ontology#N400781")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400781")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400781")
   (object    "http://a.com/ontology#N400785")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400785")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400785")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400785")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400785")
   (object    "http://a.com/ontology#hasSibling")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400781")
   (object    "http://a.com/ontology#N400794")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400794")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400794")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400794")
   (object    "http://a.com/ontology#N40079B")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40079B")
    (object    "http://www.w3.org/2003/11/swrl#ClassAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40079B")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#classPredicate")
   (subject   "http://a.com/ontology#N40079B")
   (object    "http://a.com/ontology#Woman")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasSibling")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasSibling")
   (object    "http://a.com/ontology#N4007AF")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4007AF")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4007AF")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4007AF")
   (object    "http://a.com/ontology#N4007B6")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4007B6")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4007B6")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4007B6")
   (object    "http://a.com/ontology#hasSibling")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4007B6")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasSibling")
   (object    "http://a.com/ontology#N4007C7")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4007C7")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4007C7")
   (object    "http://a.com/ontology#N4007CB")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4007CB")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4007CB")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4007CB")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4007CB")
   (object    "http://a.com/ontology#hasChild")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4007C7")
   (object    "http://a.com/ontology#N4007DA")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4007DA")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4007DA")
   (object    "http://a.com/ontology#N4007DE")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4007DE")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4007DE")
   (object    "http://a.com/ontology#N4007E2")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4007E2")
    (object    "http://www.w3.org/2003/11/swrl#DifferentIndividualsAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4007E2")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4007E2")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4007DE")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4007DA")
   (object    "http://a.com/ontology#N4007F3")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4007F3")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4007F3")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4007F3")
   (object    "http://a.com/ontology#hasChild")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4007F3")
   (object    "http://a.com/ontology#z")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasNephew")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasNephew")
   (object    "http://a.com/ontology#N40080A")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40080A")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N40080A")
   (object    "http://a.com/ontology#N40080E")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40080E")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N40080E")
   (object    "http://a.com/ontology#N400812")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400812")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400812")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400812")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400812")
   (object    "http://a.com/ontology#hasSon")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N40080E")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N40080A")
   (object    "http://a.com/ontology#N400826")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400826")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400826")
   (object    "http://a.com/ontology#hasSibling")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400826")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400826")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasNephew")
   (object    "http://a.com/ontology#N400837")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400837")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400837")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400837")
   (object    "http://a.com/ontology#N40083E")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40083E")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40083E")
   (object    "http://a.com/ontology#hasNephew")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40083E")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40083E")
   (object    "http://a.com/ontology#z")
  )
)
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasFather")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasFather")
   (object    "http://a.com/ontology#N400853")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400853")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400853")
   (object    "http://a.com/ontology#N400857")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400857")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400857")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400857")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400857")
   (object    "http://a.com/ontology#hasFather")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400853")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasFather")
   (object    "http://a.com/ontology#N40086B")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40086B")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N40086B")
   (object    "http://a.com/ontology#N40086F")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40086F")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40086F")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40086F")
   (object    "http://a.com/ontology#hasParent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40086F")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N40086B")
   (object    "http://a.com/ontology#N40087E")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40087E")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N40087E")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N40087E")
   (object    "http://a.com/ontology#N400885")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400885")
    (object    "http://www.w3.org/2003/11/swrl#ClassAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#classPredicate")
   (subject   "http://a.com/ontology#N400885")
   (object    "http://a.com/ontology#Man")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400885")
   (object    "http://a.com/ontology#y")
  )
)
  
  
  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasDescendent-base")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasDescendent-base")
   (object    "http://a.com/ontology#N400899")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400899")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N400899")
   (object    "http://a.com/ontology#N40089D")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N40089D")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N40089D")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N40089D")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N40089D")
   (object    "http://a.com/ontology#hasDescendent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N400899")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasDescendent-base")
   (object    "http://a.com/ontology#N4008B1")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4008B1")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4008B1")
   (object    "http://a.com/ontology#N4008B5")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4008B5")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4008B5")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4008B5")
   (object    "http://a.com/ontology#hasParent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4008B5")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4008B1")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
    

  
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#Def-hasDescendent-iter")
    (object    "http://www.w3.org/2003/11/swrl#Imp")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#body")
   (subject   "http://a.com/ontology#Def-hasDescendent-iter")
   (object    "http://a.com/ontology#N4008CD")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4008CD")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4008CD")
   (object    "http://a.com/ontology#N4008D1")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4008D1")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4008D1")
   (object    "http://a.com/ontology#N4008D5")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4008D5")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4008D5")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4008D5")
   (object    "http://a.com/ontology#z")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4008D5")
   (object    "http://a.com/ontology#hasDescendent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4008D1")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4008CD")
   (object    "http://a.com/ontology#N4008E9")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4008E9")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N4008E9")
   (object    "http://a.com/ontology#hasParent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N4008E9")
   (object    "http://a.com/ontology#x")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N4008E9")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#head")
   (subject   "http://a.com/ontology#Def-hasDescendent-iter")
   (object    "http://a.com/ontology#N4008FA")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N4008FA")
    (object    "http://www.w3.org/2003/11/swrl#AtomList")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest")
   (subject   "http://a.com/ontology#N4008FA")
   (object    "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#first")
   (subject   "http://a.com/ontology#N4008FA")
   (object    "http://a.com/ontology#N400901")
  )
)
(assert
  (triple
    (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type")
    (subject   "http://a.com/ontology#N400901")
    (object    "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom")
  )
)
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#propertyPredicate")
   (subject   "http://a.com/ontology#N400901")
   (object    "http://a.com/ontology#hasDescendent")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument1")
   (subject   "http://a.com/ontology#N400901")
   (object    "http://a.com/ontology#y")
  )
)
  
(assert
  (triple
   (predicate "http://www.w3.org/2003/11/swrl#argument2")
   (subject   "http://a.com/ontology#N400901")
   (object    "http://a.com/ontology#z")
  )
)
  
   
(run)
(save-facts "myfamilyoutput.txt")
(close test)