HTab-1.6.1: examples/sat/test38.frm

begin
A<><>!N1;
[](P1 v N1) & []!P1
end