HTab-1.5.4: examples/unsat/test11.frm

signature { automatic } theory
{
!(N1 : N1)
}