concrete SentencePor of Sentence = CatPor ** SentenceRomance with
  (ResRomance = ResPor) ;