hylotab-1.2.0: examples/unsat/form22.frm

begin
<>(@n1 n2);
@ n1 ([]p1 -> p2);
@ n2 []p1;
- @ n1 p2
end