HTab-1.5.4: examples/sat/test29.frm

signature { automatic } theory
{
A[](([]!p1) v (<>p1));
n1:<><>p1
}