concrete RelativeIta of Relative = CatIta ** RelativeRomance with
  (ResRomance = ResIta) ;