HTab-1.5.4: examples/sat/test32.frm

signature { automatic } theory
{
A(N0 & E true)
}