R-02441-32852-37990-28224-33727-50103-08766-46785 tcl slt th3 src
/* IMP: R-02441-32852 */
# EVIDENCE-OF: R-02441-32852 -- syntax diagram aggregate-function-invocation