LivingBeing in TYPE end Plant in TYPE with specializes t1: LivingBeing end Person in TYPE with specializes t1: LivingBeing end PersonType in TYPE with isPowerTypeOf type: Person end PersonByProfession in TYPE with specializes t1: PersonType partitions t2: Person end {---} Professor in TYPE,PersonByProfession end Engineer in TYPE,PersonByProfession end Architect in TYPE,PersonByProfession end Professor in Class end Engineer in Class end Architect in Class end {---} John in INDIVIDUAL,Engineer end Bob in INDIVIDUAL,Architect end Ana in INDIVIDUAL,Professor end Data in INDIVIDUAL,Person end