User blog comment:Testitemqlstudop/On mapping positive integers to ordinals/@comment-35470197-20191027084415


 * 1) 0 is not a positive integer. (You declared that the domain is the set of all positiveintegers.)
 * 2) You need to declare the ranges of n and m. (All positive integers satisfying the restrictions?)
 * 3) You need to specify the priority of the rules. (It might not occur, but it depends on the ranges of n and m, which have not been clarified.)