HTab-1.5.4: examples/unsat/test06.frm

signature { automatic } theory

{
 N1 : (<R1> N2);
 N2 : P1;
 N1 : [R1] !P1
}