concrete SentenceIta of Sentence = CatIta ** SentenceRomance with
  (ResRomance = ResIta) ;