HTab-1.5.4: examples/unsat/d_unsat3.frm

signature { automatic } theory
{
N1:!N2;
E B !(N1 v N2)
}