hylotab-1.2.0: examples/sat/form17.frm

begin

(@ n1 p1) v (@ n2 p2) v (@ n3 p3) v (@ n4 p4); 
[]-p1;
[]-p2;
[]-p3;
[]-p4

end