<Bounded Member> <Bounded Individual> Aggregate Holonymy
<Aggregate Holonymy><Bounded Member>Aggregate Holonymy Type
PowerTyped by Aggregate Holonymy Type