final public CycConstant sentenceDenotingConstant(boolean requireEOF) throws ParseException, java.io.IOException, UnsupportedVocabularyException {
  CycConstant val = null;
    val = constant(false);
    eof(requireEOF);
    {if (true) return val;}
    throw new Error("Missing return statement in function");
  }