Restriction of Any to a group of 5

Shouldn't the following restriction be valid?   The Base type specifies 
that an unlimited number of "Any" elements can exist, and I am restricting 
the model in the next level to a group of 2 elements which can occur in 
any order.