concrete ExtraRomanceFre of ExtraRomanceAbs = CatFre ** ExtraRomance - [ProDrop] with
  (ResRomance = ResFre), (Grammar = GrammarFre) ;