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

d ; -d.
b :- c, d.