HTab-1.7.2: rc/sab_no_tree.frm

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

theory

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