7 in notes

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.

• CLL 16.2
• CLL 19.4
• jbovlaste

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. x₁ is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.

ka'oi (exp!)

x₁ (ka) is obtained from x₂ (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.