HTab-1.5.5: examples/unsat/trans02.frm

begin
<>(P1 & P2 & N1);
<*>(N1 & -P1);
<*>(-N1 & -[*](-N1 v P2))
end