ce'ai ZOhU experimental cmavo

lambda variable prenex; marks the end of introduction of lambda-scope variables.

Cf. zo'u. In effect this word is used as a shortcut around verbose repeated assignment in a ka prenex: lo ka ce'u goi ko'a ce'u goi ko'e ... zo'u ... is the same as lo ka ko'a ko'e ... ce'ai ... In either form this style can be used to avoid subscripting and to disambiguate nested ka, ni, etc.


In notes:

fo'ai (exp!)
Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the ko'a-ko'u pronoun series. The number of bound variables must be indicated by appending {xi} followed by that number to the word {fo'ai}, unless only one variable (namely {fo'a}) is bound, in which case the {xi} marking is optional.
ge'ai (exp!)
metasyntactic variable prenex
ka'ei (exp!)
abstractor: predicate abstractor. x1 is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.
ka'oi (exp!)
x1 (ka) is obtained from x2 (ka) by uncurrying the first N places
ke'au (exp!)
relative clause prenex: assigns a variable to the object of the relative clause
ko'ai (exp!)
Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the ko'a-ko'u pronoun series.
koi'i (exp!)
create a binary relation abstraction sumti out of a full bridi clause, binding the two lambda variables to the {ko'i} and {ko'u} pronouns.