pos(mem(4,[4,3,2,1]),
pos(mem(3,[4,3,2,1])).
pos(mem(2,[4,3,2,1])).
pos(mem(1,[4,3,2,1])).

neg(mem(5,[4,3,2,1])).


% From metagol's member.pl
% pos(mem(4,[4,3,2,1]),
% pos(mem(3,[4,3,2,1])).
% pos(mem(2,[4,3,2,1])).
% pos(mem(1,[4,3,2,1])).
% pos(mem(3,[3,2,1])).
% pos(mem(2,[3,2,1])).
% pos(mem(1,[3,2,1])).
% pos(mem(2,[2,1])).
% pos(mem(1,[2,1])).
% pos(mem(1,[1])).

% neg(mem(5,[4,3,2,1])).
% neg(mem(6,[4,3,2,1])).
% neg(mem(7,[4,3,2,1])).
% neg(mem(8,[4,3,2,1])).
% neg(mem(4,[3,2,1])).
% neg(mem(5,[3,2,1])).
% neg(mem(6,[3,2,1])).
% neg(mem(3,[2,1])).
% neg(mem(4,[2,1])).
% neg(mem(2,[1])).