HTab-1.5.4: examples/unsat/test34.frm

signature { automatic } theory
{
A(P1 v P2);
N1:(!P1 & !P2)
}