concrete ConjunctionSwe of Conjunction = CatSwe ** ConjunctionScand with
  (ResScand = ResSwe) ;