@prefix : <http://example.org/#>.

# Ghent is a city
:Ghent a :City.

# every city is a human community
{
    ?x a :City.
} => {
    ?x a :HumanCommunity.
}.

# query
{
    ?S a ?C.
} =^ {
    ?S a ?C.
}.
