r1: a +-.
r2: b +-.
:- not a,not b. 
prefer(r1,r2).