concrete AdverbFre of Adverb = CatFre ** AdverbRomance with
  (ResRomance = ResFre) ;