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

#connect the names and the types 
this log:forAll
	:id, 		# the id of the object
	:line, 		# the line number
	:typename, 		# the line number
         :namestr, :name,   # the name of the object
	:file.		# the file
{
	:id :linenumber 
		[ 
		log:notEqualTo "0"
		]. 
  :id 
      :tree-code-ref :typename;
      :named :namestr;       # connect id and name-id via name 
      :linenumber :line;        # pull the line number
      :filename   :file         # and the file
	. 
}	
log:implies 
{
     :id a      :user-defined,:typename ; # it is of this type
       :name :namestr;
       :srcl   :line;
       :srcp   :file ;
	.
}.