a :- not b, nec__(90).
b :- not c, nec__(20).
c :- not a, nec__(70).