subtype_indication ::= subtype_mark [ constraint ]
This rule is called by-> access_to_object_definition -> allocator -> ancestor_subtype_indication -> component_definition -> derived_type_definition -> discrete_range -> discrete_subtype_definition -> object_declaration -> subtype_declaration