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