concrete QuestionFre of Question = CatFre ** QuestionRomance with
  (ResRomance = ResFre) ;