@prefix : <http://introspector.sf.net/2003/08/treecc.owl#> .
@prefix treecc: <http://introspector.sf.net/2003/08/treecc.owl#> .
@prefix is: <http://introspector.sf.net/2003/08/16/introspector.owl#> .
#@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
	treecc:id, 		# the id of the object
	treecc:line, 		# the line number
	is:typename, 		# the line number
         treecc:namestr,    # the name of the object
	treecc:file.		# the file
{
  treecc:id is:srcp is:filename-parse.
	:id is:srcl
		[ 
		log:notEqualTo "0"
		]. 
  treecc:id 
      a      is:typename;
      is:named  treecc:namestr;       # connect id and name-id via name 
      is:srcp  treecc:file;        # pull the line number
      is:srcl  treecc:line         # and the file
	. 
}	
log:implies 
{
     treecc:id a      is:user-defined,
		    is:typename ; # it is of this type
       is:named    treecc:namestr;
       is:srcl    treecc:line;
       is:srcp    treecc:filename-parse. 
}.