concrete CatDan of Cat = CommonX -[Tense, Temp] ** CatScand with
  (ResScand = ResDan) ;