HTab-1.7.2: rc/gsab_count.frm

signature {
propositions { }
nominals { }
relations { gsb }
}

theory

{
 <gsb><gsb><gsb> true;
 [gsb][gsb][gsb][gsb]false;
}