% prob(a) = 0.3
a ; -a.
b ; c :- a.