hylotab-1.2.0: examples/unsat/form03.frm

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