1 PROPAGATE 2? TO 2.1 TERMINAL ExpresiónTerminal 2.1 LABEL ExpresiónEtiqueta 2.1.1? OrígenesMensajes 2.1.1.1? Controles WHERE 1 OrígenesMensajes = 2? ENVIRONMENT Expresión 3? MESSAGE Expresión 4? EXCEPTION Expresión 1 Controles = 2? FINALIZE 2.1 DEFAULT 2.1 NONE 2.1.1? DELETE 2.1.1.1 DEFAULT 2.1.1.1 NONE