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