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

:Socrates a :Human {| r:source <https://eyereasoner.github.io/eye/reasoning/socrates-star/socrates-data.n3> |}.
:Human rdfs:subClassOf :Mortal {| r:source <https://eyereasoner.github.io/eye/reasoning/socrates-star/socrates-data.n3> |}.

{?A rdfs:subClassOf ?B. ?S a ?A} => {?S a ?B} {| r:source <https://eyereasoner.github.io/eye/reasoning/socrates-star/socrates-data.n3> |}.
