% This example shows that in the restricted belief closure operator,
% we need disjunctions in the precondition.

p v q.
p v r.
q v r.

% These rules are only needed in order to ensure that the program considers
% the belief atoms as "interesting" (i.e. outputs their truth values):
s <- not(p&q).
s <- not(p&r).
s <- not(q&r).

$v.