LivingBeing in TYPE end


LivingBeingType in TYPE with
  isPowerTypeOf type: LivingBeing
end


PersonType in TYPE with
  specializes t1: LivingBeingType
end

Plant in TYPE with
  specializes t1: LivingBeing
end

Person in TYPE with
  specializes t1: LivingBeing
end

PersonByGender in TYPE with
  specializes t1: PersonType
  partitions t2: Person
end

Man in TYPE,PersonByGender end
Woman in TYPE,PersonByGender end
{---}
John in INDIVIDUAL,Man end
Bob in INDIVIDUAL,Man end
Ana in INDIVIDUAL,Woman end
Data in INDIVIDUAL,Person end