@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#> .

#:srcp owl:sameAs :filename.
#:srcl owl:sameAs :linenumber.

#connect the names and the types 
this log:forAll
	:id, 		# the id of the object
	:file.		# the file
 { # find all the statements that match 

  :id 
      :filename   :file.          # and the file

 } log:implies {           #  the results are simpler
        :file a :module    .
	}.