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