concrete RelativeFre of Relative = CatFre ** RelativeRomance with
  (ResRomance = ResFre) ;