concrete VerbPor of Verb = CatPor ** VerbRomance with
  (ResRomance = ResPor) ;