HTab-1.6.1: examples/unsat/test12.frm

begin
N1: N2;
N1: [R1] P1;
N2: <R1> !P1
end