@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
         :name-id, :name,   # the name of the object
	:file.		# the file
 { # find all the statements that match 

  :id 
      :tree-code-ref :typename;       # connect id and name-id via name 
      :name :name-id;       # connect id and name-id via name 
      :linenumber :line;        # pull the line number
      :filename   :file.          # and the file

 } log:implies {           #  the results are simpler

     :id a      :typename ; # it is of this type
        :srcl   :line;
        :srcp   :file .
	}.


# #connect the names and the types 
this log:forAll
	:id2, 		# the id of the object
	:line2, 		# the line number
         :name-id2, :name2,   # the name of the object
	:file2.		# the file
 { # find all the statements that match 

  :id2 
      :name :name-id2.       # connect id and name-id via name 
     # and the name
     :name-id2 :strg :name2. # and the name string

 } log:implies {           #  the results are simpler
     :id2  :named :name2;
  }.