concrete ConjunctionPor of Conjunction = CatPor ** ConjunctionRomance with
  (ResRomance = ResPor) ;