concrete RelativeNno of Relative = CatNno ** RelativeScand with
  (ResScand = ResNno) ;