concrete RelativePor of Relative = CatPor ** RelativeRomance with
  (ResRomance = ResPor) ;