# query
@prefix : <boole#>.

# facts

#:w :eq :x.

:x :eq :a.