concrete VerbIta of Verb = CatIta ** VerbRomance with
  (ResRomance = ResIta) ;