HTab-1.7.2: rc/gsab_no_tree.frm

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

theory

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