ko'ai LOhOI experimental cmavo

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.

lo ka ce'u ce'u ce'u broda (ku) = ko'ai ko'a ko'e ko'i broda (ku'au). In the rare cases where more than five lambda variables are needed, ko'a xi PA might be used. Indicating the number N of lambda variables in forethought can be acheived with ko'ai xi N. See also fo'ai, ce'ai.


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.
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.