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

theory

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