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