RE: Defining a property to have an EMPTY range?

> Statements with rdf:type as the predicate have the same 
> subject, predicate, object structure of all other statements.
Sorry, I was being sloppy.  Of course rdf:type is a binary relation, but I
often find it handy to think of 
	:x rdf:type :C
as if it were the unary type predicate:
      :C( :x )

Ian