concrete AdverbIta of Adverb = CatIta ** AdverbRomance with
  (ResRomance = ResIta) ;