final public CycList orForm(boolean requireEOF) throws ParseException, java.io.IOException, UnsupportedVocabularyException {
  CycList sentences = null;
  CycList val = new CycList();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case OR_CONSTANT:
      jj_consume_token(OR_CONSTANT);
      break;
    case OR_GUID_CONSTANT:
      jj_consume_token(OR_GUID_CONSTANT);
      break;
    default:
      jj_la1[6] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
                                                 val.add(getCycAccess().or);
    sentences = sentenceList(false);
                                      if (sentences != null) { val.addAll(sentences); }
    eof(requireEOF);
    {if (true) return val;}
    throw new Error("Missing return statement in function");
  }