concrete VerbNno of Verb = CatNno ** VerbScand with (ResScand = ResNno) ;