concrete SentenceDan of Sentence = CatDan ** SentenceScand with
  (ResScand = ResDan) ;