bo'ai LI2 experimental cmavo

convert number into pro-sumti: definitional terbri variable with associated number; xn

Extends bo'a series indefinitely.


In notes:

cei'e (exp!)
define following selbri with sentence or tu'e...tu'u clause
ka'ei
abstractor: predicate abstractor. x1 is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.
kai'ei
abstractor: x1 (x2, ...) are such that they satisfy [bridi], using bo'a/bo'e/etc for variables