Person in TYPE end

PersonType in TYPE with
  isPowerTypeOf type: Person
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,Man,Woman end
Data in INDIVIDUAL,Person end