HTab-1.7.2: rc/gswap_no_tree.frm

signature {
propositions { }
nominals { }
relations { gsw }
}

theory

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