<Bounded Member> <Bounded Individual> Aggregate Holonymy
<Bounded Member><Class of Bounded Individual>Aggregate Holonymy Type
PowerTyping of Aggregate Holonymy