# ================
# Existential rule
# ================
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <https://eyereasoner.github.io/eye/reasoning#>.

:Socrates a :Human.
:Plato a :Human.

{ ?S a :Human. } => { ?S :is _:B. }.