For <State Related> aggregations, no 2 Base State Data may overlap.
The active_state of a <State Related> aggregation is a single value, which is used to pick which Base State Data corresponds to the branch to be followed. If the active state could correspond to more than one branch, how could you tell which branch represents that state?