-p(?x) | q(?x)
p(a)
p(b)
