signature {
propositions { p }
nominals { }
relations { sw }
}

theory

{
  [] false;
  <gbr>[] false;
}