HTab-1.6.1: examples/unsat/test06.frm

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