HTab-1.6.1: examples/unsat/test10.frm

begin
   !(((<R1>P1) | (<R1>P2)) --> (<R1>(P1 | P2)))
end