pos(f([],0)).
pos(f([3,3,1],3)).
pos(f([4],1)).
pos(f([4,3],2)).
pos(f([4,3,2,2,3,5,2,7],8)).

neg(f([3,3,1],2)).
neg(f([4],0)).
neg(f([4],2)).