HTab-1.5.4: examples/sat/d_sat1.frm

signature { automatic } theory
{
A (D (P1))
}