HTab-1.5.4: examples/unsat/d_unsat6.frm

signature { automatic } theory
{
<>([]!N0 ^ B false)
}