final public CycList nonAtomicDenotationalTerm(boolean requireEOF) throws ParseException, java.io.IOException, UnsupportedVocabularyException {
  CycObject func;
  CycList args;
    jj_consume_token(OPEN_PAREN);
    func = function(false);
    args = argumentList(false);
    jj_consume_token(CLOSE_PAREN);
    eof(requireEOF);
    args.add(0, func);
    {if (true) return args;}
    throw new Error("Missing return statement in function");
  }