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
Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the fo'a-fo'u pronoun series.
ge'ai
metasyntactic variable prenex
ka'ei
abstractor: predicate abstractor. x1 is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.
ke'au
relative clause prenex: assigns a variable to the object of the relative clause
ko'ai
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.