The members of the choice group with special treatment given to some kinds of members.
The members of the choice group with special treatment given to some kinds of members.
An invariant is that if a direct child member is an array element, the child will have been encapsulated as a sequence, so that arrays always live within sequences.