hylotab-1.2.0: examples/unsat/form07.frm

begin

down x1 .  []<>x1 & -(<>[]p1 -> p1)

end