HTab-1.5.4: examples/sat/d_sat6.frm

signature { automatic } theory
{
n1:!n2;
n1 & B D!n1
}