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