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

# i element of A
:i a :A.

# not i element of C
{
    :i a :C.
} => ($ $).

# all A are B or C
{
    ?S a :A.
} => ($ {
    ?S a :B.
} {
    ?S a :C.
} $).

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