HTab-1.6.1: examples/sat/test27.frm

begin
A (p1 ^ []!p1)
end