a :- nec__(80).
-b :- a, nec__(80).
c :- a, -b, nec__(70).
d :- d, nec__(90).