HTab-1.7.2: rc/br_no_tree.frm

signature {
propositions { p }
nominals { }
relations { br }
}

theory

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