HTab-1.7.2: rc/sab_sat_01.frm

signature {
propositions { p, q }
nominals { }
relations { sb, gsb }
}

theory

{
 <sb>p;
 <sb>q;
 <gsb>( <><> true) ;
}