@i shall
be given by a static expression, unless @i

is nested within a
@fa @i that is not selected by the discriminant value
governing the @fa enclosing @i.
@dby
For a @fa or @fa, if a
@fa @i

is nested within a @fa @i that is not
selected by the discriminant value governing the @fa enclosing
@i, then there is no restriction on the discriminant governing @i

.
Otherwise, the value of the discriminant that governs @i

shall be given by
a static expression, or by a nonstatic expression having a constrained static
nominal subtype. In this latter case of a nonstatic expression, there shall be
exactly one @fa of @i

that covers each value that
belongs to the nominal subtype and satisfies the predicates of the subtype,
and there shall be at least one such value.
!corrigendum 4.3.1(17.1/2)
@dinsa
A @fa for a discriminant without a
@fa shall have an @fa rather than <@>.
@dinss
A @fa of the @fa
of a @fa shall not:
@xbullet