p(?x,?y) | q(?y,?x)
-q(?x,?x)
