R-09172-65020-50805-64205-61837-53573-56763-15916 tcl slt th3 src
/* IMP: R-09172-65020 */
# EVIDENCE-OF: R-09172-65020 -- syntax diagram drop-trigger-stmt