<Holonymy Relation> <Bounded Member> Aggregate Composition
<Bounded Member><Class of Holonymy>Aggregate Composition Type
PowerTyped by Aggregate Composition Type