tests/examples/pq.txt

q(a).

q(a).