concrete VerbDan of Verb = CatDan ** VerbScand with
  (ResScand = ResDan) ;