% From Metagol graph-colouring.pl
pos(target(e)).

neg(target(a)).
neg(target(b)).
neg(target(c)).
neg(target(d)).
neg(target(f)).