HTab-1.5.4: examples/unsat/d_unsat2.frm

signature { automatic } theory
{
N1 & B N1;
E P1;
E !P1
}