concrete ConjunctionNor of Conjunction = CatNor ** ConjunctionScand with
  (ResScand = ResNor) ;