<Bounded Aggregate> <Class of Individual> Class of Bounded Individual
<Class of Class of Individual>Bounded Individual MetaClass
PowerTyped by Bounded Individual MetaClass