@prefix : <http://example.org/socrates#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.

:we :have <<( :Socrates a :Human )>>.
:we :have <<( :Socrates a :Mortal )>>.
:Human rdfs:subClassOf :Mortal.
