aux_onebetter :- r(R,I), aux_o(R,J), I<J.
aux_oneworse :- r(R,I), aux_o(R,J), J<I.
:- not aux_onebetter.
:- aux_oneworse.
