% From Metagol graph-reachability.pl

pos(p(a, b)).
pos(p(a, c)).
pos(p(a, a)).