HTab-1.5.4: examples/unsat/test33.frm

signature { automatic } theory
{
A (p1 ^ <>!p1)
}