concrete PhraseDan of Phrase = CatDan ** PhraseScand with
  (ResScand = ResDan) ;