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

theory

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