% From Metagol constants1.pl and constants2.pl

pos(p(1,2)).
pos(p(1,3)).
pos(p(1,4)).
pos(p(1,1)).
pos(p(2,2)).
pos(p(4,4)).

neg(p(2,4)).
neg(p(3,4)).
neg(p(3,1)).