bo'ai _LI2 experimental cmavo

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

Extends bo'a series indefinitely.

jbovlaste

In notes:

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