HTab-1.6.1: examples/unsat/test34.frm

begin
A(P1 v P2);
N1:(!P1 & !P2)
end