Una expresión cualificada se usa para establecer el tipo de un operando que puede ser o una expresión o un agregado.
qualified_expression ::= subtype_mark'(expression) | subtype_mark'aggregate
type Colores is (Rojo, Naranja, Amarillo, Verde, Azul Añil, Violeta); type Semáforo is (Verde, Amarillo, Rojo); type Persona is record Edad : Natural; DNI : String (1 .. 8); end record; -- Expresiones cualificadas Colores'(Rojo) Persona'(21, "42555123");