HTab-1.6.1: examples/sat/test25.frm

begin
n1:p1 v n2:p2 v n3:p3 v n4:p4;
[]!p1 & []!p2 & []!p3 & []!p4
end