On grammatical class:

bo'ai
convert number into pro-sumti: definitional terbri variable with associated number; xn
mai'o
turns number into pro-sumti: the abstraction described by the utterance denoted by that number and {mai}