HTab-1.5.4: examples/unsat/test12.frm

signature { automatic } theory
{
N1: N2;
N1: [R1] P1;
N2: <R1> !P1
}