Person in TYPE end

PersonType in TYPE with
  isPowerTypeOf type: Person
end

Man in TYPE,PersonType end
Woman in TYPE,PersonType end
Adult in TYPE,PersonType end
AdultMan in TYPE with
  specializes
   type1: Man;
   type2: Adult
end
{---}
John in INDIVIDUAL,AdultMan end
Bob in INDIVIDUAL,Man end
Ana in INDIVIDUAL,Woman end