private boolean Formula()
    {
      begin("Formula");
      if (Predicate())
      { sem.moveUpPred(); return accept(); }
      if (False())
      { sem.fls(); return accept(); }
      if (Formula_0())
      { sem.binaryFormula(); return accept(); }
      if (Formula_1())
      { sem.notFormula(); return accept(); }
      return reject();
    }