rcase-NameAndTypeOK.3: Error for the particle whose {term} is the element declaration 'aa....aa'. Its occurrence range, (bb....bb, cc....cc), is not a valid restriction of the range, (dd....dd, ee....ee), of the corresponding particle in the base type.

This is an error for a particle in which the item is the element declaration aa....aa. The occurrence range (bb....bb, cc....cc) is an invalid restriction of the occurrence range (dd....dd, ee....ee) of the base.