HTab-1.6.1: examples/sat/test06.frm

begin
 (N1:P1) & (N2:!P1)
end