concrete PhrasePor of Phrase = CatPor ** PhraseRomance with
  (ResRomance = ResPor) ;