@prefix : <http://introspector.sf.net/2003/08/16/introspector.owl#> .
     @prefix dc: <http://purl.org/dc/elements/1.1/> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix owl: <http://www.w3.org/2002/07/owl#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix project: <http://introspector.sf.net/2003/08/project.owl#> .    


#connect the names and the types 
this log:forAll
	:subType, 		
	:sub, 		
	:pred,   	
	:objType, 		
	:obj.		
{
  :sub :pred :obj.
  :obj :tree-code-ref :objType.
}	
log:implies 
{
	:pred a owl:Property;		
		owl:Range :objType
}.



this log:forAll
	:subType, 		
	:sub, 		
	:pred,   	
	:objType, 		
	:obj.		
{
  :sub :tree-code-ref :subType.
  :sub :pred :obj.
}	
log:implies 
{
	:pred a owl:Property;		
		owl:Domain :subType
}.