hylotab-1.2.0: examples/sat/form28.frm

begin

 -(@ n2 (p1 v p2) -> @n1 p3)

end