a::"0.3".
b | c ::"0.7" :- a.
:- not c.