# query laws of De Morgan
@prefix : <boole#>.

# facts


:a8 :not2 ?v.

#:a10 :or3 ?v.