HTab-1.5.4: examples/sat/test36.frm

signature { automatic } theory
{
N1;
<>true;
[]<>true;
[]N1
}