R-13256-18062-37780-53267-61786-03017-00119-21798 tcl slt th3 src
/* IMP: R-13256-18062 */
# EVIDENCE-OF: R-13256-18062 -- syntax diagram simple-select-stmt