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

theory

{
  p;
  []!p;
  [][]!p;
  [][][]!p;
  <sw><><>p;
}