HTab-1.5.4: examples/sat/test28.frm

signature { automatic } theory
{
A []p1;
!p1
}