Person in TYPE end

PersonType in TYPE with
  isPowerTypeOf type: Person
end

Man in TYPE,PersonType end
Woman in TYPE,PersonType end
{---}
John in INDIVIDUAL,Man end
Bob in INDIVIDUAL,Man end
Ana in INDIVIDUAL,Woman end