concrete ConjunctionNno of Conjunction = CatNno ** ConjunctionScand with
  (ResScand = ResNno) ;