%% From Atom example nextto.pl

%% Positive
pos(nextto(e, a, [e,a])).
pos(nextto(a, e, [a,a,e,e])).
pos(nextto(e, c, [a,e,c])).
pos(nextto(a, c, [b,a,c,a])).
pos(nextto(e, e, [e,e,d])).
pos(nextto(d, b, [d,b,c])).
pos(nextto(b, d, [a,c,b,b,d,e,a,c,a,c,b])).
pos(nextto(a, d, [c,a,d])).
pos(nextto(a, c, [d,a,c])).
pos(nextto(a, d, [a,a,d,d,d])).
pos(nextto(c, d, [b,c,d])).
pos(nextto(a, a, [b,c,a,a,c,d])).
pos(nextto(e, b, [a,e,b])).
pos(nextto(e, e, [a,c,c,e,e,e,c])).
pos(nextto(a, c, [a,c])).
pos(nextto(e, d, [c,c,e,d,e,d,b,e,a])).
pos(nextto(a, b, [a,b])).
pos(nextto(e, b, [e,b])).
pos(nextto(e, b, [e,b,c])).
pos(nextto(d, d, [d,d,b])).
pos(nextto(c, c, [c,c])).
pos(nextto(c, a, [d,e,e,c,a,e,a,d])).
pos(nextto(c, e, [c,e,b,d,a,a,b])).
pos(nextto(e, c, [a,e,c,a])).
pos(nextto(e, e, [a,b,e,e])).
pos(nextto(a, e, [a,e])).
pos(nextto(d, a, [b,d,e,d,e,c,c,d,d,a,e,a,b,b])).
pos(nextto(c, d, [c,c,d,e,e])).
pos(nextto(e, d, [d,e,d,a])).
pos(nextto(e, e, [e,e,b,e,e])).
pos(nextto(a, c, [c,d,a,c])).
pos(nextto(b, d, [b,d,c])).
pos(nextto(d, e, [d,e,e,c])).
pos(nextto(d, a, [d,a])).
pos(nextto(e, d, [b,a,e,d])).
pos(nextto(d, a, [d,a,b])).
pos(nextto(d, b, [d,b])).
pos(nextto(d, d, [c,d,d,e,b])).
pos(nextto(d, a, [c,d,a,b,c,d])).
pos(nextto(a, d, [b,a,d])).
pos(nextto(c, b, [c,b])).
pos(nextto(c, d, [c,d,c])).
pos(nextto(c, b, [b,a,c,b,b])).
pos(nextto(c, a, [c,a,b,a])).
pos(nextto(d, d, [e,c,c,c,d,d,a,d,c])).
pos(nextto(a, a, [d,a,a])).
pos(nextto(a, c, [a,c,a,e,d,c,c,c])).
pos(nextto(b, d, [a,b,d,d,d,e])).
pos(nextto(c, d, [d,d,c,c,d])).
pos(nextto(a, c, [e,b,b,d,b,d,a,a,c])).
pos(nextto(b, d, [b,d])).
pos(nextto(d, e, [a,a,e,d,e])).
pos(nextto(d, d, [d,d])).
pos(nextto(e, e, [a,e,e,e])).
pos(nextto(e, c, [c,e,c,d,c,b])).
pos(nextto(e, e, [e,e])).
pos(nextto(e, c, [e,c])).
pos(nextto(b, b, [b,b,b])).
pos(nextto(b, c, [b,c,a,d,a,c])).
pos(nextto(b, c, [e,a,c,b,c,b])).
pos(nextto(e, d, [e,d,a,c,a,b,d,e])).
pos(nextto(b, a, [b,a,a,c,a])).
pos(nextto(e, e, [d,d,e,e,d])).
pos(nextto(a, d, [a,d])).
pos(nextto(b, b, [a,b,b])).
pos(nextto(e, b, [d,e,b,a])).
pos(nextto(a, e, [a,a,b,a,e,a,b,e,e])).
pos(nextto(e, b, [d,e,e,b,b,c,c])).
pos(nextto(e, c, [c,e,c,e])).
pos(nextto(e, d, [e,d])).
pos(nextto(c, d, [c,d,d,d,c,e,e,d,d,d])).
pos(nextto(d, d, [d,d,a,b,d,e,a])).
pos(nextto(b, a, [e,a,d,b,a])).
pos(nextto(d, d, [d,d,c])).
pos(nextto(c, a, [c,a])).
pos(nextto(c, d, [c,d])).
pos(nextto(e, d, [c,a,e,d,b,a,a,c])).
pos(nextto(b, e, [b,e])).
pos(nextto(a, a, [a,a])).
pos(nextto(b, d, [b,b,b,d,a])).
pos(nextto(c, b, [e,c,b])).
pos(nextto(e, e, [a,b,e,e,b,a])).
pos(nextto(c, a, [d,c,a,e])).
pos(nextto(a, b, [c,c,a,b,d])).
pos(nextto(b, b, [b,b,c])).
pos(nextto(b, d, [e,d,b,d,a])).
pos(nextto(d, c, [d,c])).
pos(nextto(c, d, [c,d,d,e,c,a,a])).
pos(nextto(c, b, [c,b,c,a])).
pos(nextto(c, b, [e,d,a,d,c,b,c,c,b,a,e,b,e])).
pos(nextto(c, a, [e,e,c,a])).
pos(nextto(a, c, [a,a,c])).
pos(nextto(b, c, [b,c])).
pos(nextto(a, b, [a,b,a,b,d])).
pos(nextto(a, d, [e,e,d,a,d,e])).
pos(nextto(e, b, [e,d,a,e,b])).
pos(nextto(d, b, [d,b,c,a,a])).
pos(nextto(d, d, [c,c,d,d])).
pos(nextto(e, d, [e,d,c,d,c,e,b])).
pos(nextto(c, b, [d,c,b])).

%% Negative
neg(nextto(e, e, [e,b,e])).
neg(nextto(b, d, [])).
neg(nextto(c, d, [a,b,d,e])).
neg(nextto(a, e, [])).
neg(nextto(e, d, [c,a])).
neg(nextto(c, d, [])).
neg(nextto(b, b, [b])).
neg(nextto(e, e, [e])).
neg(nextto(b, b, [b,c])).
neg(nextto(b, c, [a,e])).
neg(nextto(e, b, [b])).
neg(nextto(a, b, [e])).
neg(nextto(a, d, [c,d,e])).
neg(nextto(a, c, [d,e,b])).
neg(nextto(c, c, [a])).
neg(nextto(c, a, [b,d,d])).
neg(nextto(b, e, [c,a])).
neg(nextto(a, e, [a])).
neg(nextto(b, e, [b,d,a,c])).
neg(nextto(b, b, [])).
neg(nextto(e, c, [])).
neg(nextto(e, b, [])).
neg(nextto(e, a, [d])).
neg(nextto(e, b, [d,a])).
neg(nextto(a, c, [c])).
neg(nextto(a, e, [e])).
neg(nextto(d, d, [])).
neg(nextto(a, b, [b,b,b])).
neg(nextto(a, b, [a])).
neg(nextto(e, a, [b,c])).
neg(nextto(e, d, [])).
neg(nextto(b, c, [b,b])).
neg(nextto(c, b, [b])).
neg(nextto(b, d, [d,d])).
neg(nextto(a, d, [a,e])).
neg(nextto(e, c, [d,a])).
neg(nextto(e, e, [c])).
neg(nextto(c, b, [d,a,a,d,d])).
neg(nextto(a, a, [b,d])).
neg(nextto(a, d, [b,c])).
neg(nextto(b, e, [a,b])).
neg(nextto(b, d, [d])).
neg(nextto(b, e, [c])).
neg(nextto(d, c, [])).
neg(nextto(a, c, [b])).
neg(nextto(d, a, [e,e])).
neg(nextto(c, e, [e])).
neg(nextto(a, c, [e,c])).
neg(nextto(b, b, [c])).
neg(nextto(e, a, [d,b])).
neg(nextto(e, c, [d,d,d,a,c,d])).
neg(nextto(c, d, [c])).
neg(nextto(e, c, [e])).
neg(nextto(c, d, [e])).
neg(nextto(d, e, [])).
neg(nextto(e, b, [e])).
neg(nextto(a, c, [b,b,a,b,d,c,d])).
neg(nextto(c, a, [a,a])).
neg(nextto(c, a, [c])).
neg(nextto(e, d, [b])).
neg(nextto(e, c, [a])).
neg(nextto(e, e, [a,a,c,d,e,d,b])).
neg(nextto(a, c, [])).
neg(nextto(a, e, [c,d,e])).
neg(nextto(d, e, [b,b,c])).
neg(nextto(d, e, [c])).
neg(nextto(d, b, [d,a])).
neg(nextto(d, d, [a,a,e])).
neg(nextto(b, b, [a,e,b,d,c,c])).
neg(nextto(e, c, [c,c,d,b,e])).
neg(nextto(a, e, [c])).
neg(nextto(b, a, [])).
neg(nextto(d, c, [b])).
neg(nextto(c, c, [])).
neg(nextto(a, e, [a,b])).
neg(nextto(d, b, [])).
neg(nextto(b, a, [a,e])).
neg(nextto(d, a, [])).
neg(nextto(c, e, [])).
neg(nextto(b, e, [])).
neg(nextto(b, e, [c,d])).
neg(nextto(b, c, [])).
neg(nextto(d, e, [d,c])).
neg(nextto(a, c, [e,b,e])).
neg(nextto(b, a, [b,b,d])).
neg(nextto(c, d, [c,e])).
neg(nextto(a, b, [a,e,b,a])).
neg(nextto(d, c, [b,e,d])).
neg(nextto(c, a, [])).
neg(nextto(a, e, [b,e,e])).
neg(nextto(a, d, [])).
neg(nextto(e, a, [])).
neg(nextto(b, b, [b,d,c,e,a,c,e,a,a,a,e,c,c,e,b])).
neg(nextto(c, b, [d,a])).
neg(nextto(d, e, [a,e])).
neg(nextto(e, a, [a])).
neg(nextto(d, d, [e,a,a])).
neg(nextto(a, b, [])).
neg(nextto(d, a, [b])).
neg(nextto(b, e, [a])).