concrete SentenceFre of Sentence = CatFre ** SentenceRomance with
  (ResRomance = ResFre) ;