concrete PhraseFre of Phrase = CatFre ** PhraseRomance with
  (ResRomance = ResFre) ;