concrete PhraseIta of Phrase = CatIta ** PhraseRomance with
  (ResRomance = ResIta) ;