concrete NounNno of Noun = CatNno ** NounScand with
  (ResScand = ResNno) ;