final public CycList univForm(boolean requireEOF) throws ParseException, java.io.IOException, UnsupportedVocabularyException {
  CycObject var = null;
  CycObject sent = null;
  CycList val = new CycList();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case FORALL_CONSTANT:
      jj_consume_token(FORALL_CONSTANT);
      break;
    case FORALL_GUID_CONSTANT:
      jj_consume_token(FORALL_GUID_CONSTANT);
      break;
    default:
      jj_la1[10] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
                                                         val.add(getCycAccess().forAllConst);
    var = variable(false);
                            val.add(var);
    sent = sentence(false);
                             val.add(sent);
    eof(requireEOF);
    {if (true) return val;}
    throw new Error("Missing return statement in function");
  }