concrete AdverbPor of Adverb = CatPor ** AdverbRomance with
  (ResRomance = ResPor) ;