Person in TYPE  end 

PersonType in TYPE with 
   isPowerTypeOf
    type : Person
end 

Man in TYPE,PersonType  end 

Woman in TYPE,PersonType  end 

YoungWoman in TYPE,PersonType with 
   specializes
    t1 : Woman
end 

John in INDIVIDUAL,Man  end 

Bob in INDIVIDUAL,Man  end 

Ana in INDIVIDUAL,Woman  end 

Sara in INDIVIDUAL,YoungWoman  end