concrete CatKam of Cat = CommonX - [Pol] 
  ** CatBantu with (ResBantu = ResKam);