For an array_delta_aggregate, the discrete_choice shall not be ‘others’.
For an array_delta_aggregate, the dimensionality of the type of thedelta_aggregate shall be 1.
For an array_delta_aggregate, the base_expression and each expression in every array_component_association orarray_subcomponent_association shall be of a nonlimited type.
For a record_delta_aggregate, no record_subcomponent_choices that consists of only component_selector_names shall be the same or a prefix of another record_subcomponent_choice.
For an array_subcomponent_choice or a record_subcomponent_choice thecomponent_selector_name shall not be a subcomponent that depends on discriminants of an unconstrained record subtype with defaulted discriminants unless its prefix consists of onlycomponent_selector_names. [Rationale: As a result of this rule, accessing the subcomponent can only lead to a discriminant check failure if the subcomponent was not present in the object denoted by the base_expression, prior to any update.]