hylotab-1.2.0: examples/unsat/form01.frm

begin
<> (n1 & p2);
<>(n1 & p1);
[] (-p2 v -p1)
end