HTab-1.5.4: examples/sat/test26.frm

signature { automatic } theory
{
(n1: <>[]!p1) | (n1: []<>p2) | (n2: p3);
(n1: <>n3) | (n2: p1)
}