concrete QuestionPor of Question = CatPor ** QuestionRomance with
  (ResRomance = ResPor) ;