1 on gloss 8 in definition 4 in notes

On gloss:

ce'u

pseudo-quantifier binding a variable within an abstraction that represents an open place.

In definition:

ce'ai (exp!)

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

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.

foi'i

create a relation abstraction sumti out of a full bridi clause, binding the two lambda variables to the {fo'i} and {fo'u} pronouns.

fy'oi (exp!)

Number suffix initiating a subordinate clause representing a predicate whose arity is the suffixed number; the lambda variables representing the predicate slots are bound from the fo'a-fo'u series in their dictionary ordering; the number of bound variables is the same as the predicate arity.

jau'u

lambda quantifier: binds a lambda variable.

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.

ky'oi (exp!)

Number suffix initiating a subordinate clause representing a predicate whose arity is the suffixed number; the lambda variables representing the predicate slots are bound from the ko'a-ko'u series in their dictionary ordering; the number of bound variables is the same as the predicate arity.

In notes:

fa'au (exp!)

mathematical unary operator: map notation

fau'au (exp!)

two-tier function map/assignment writer notation: X1 (ordered list, no repetitious terms) maps termwise-respectively to X2 (ordered list; may be repetitious but must have exactly as many terms as X1)

ka'ei (exp!)

abstractor: predicate abstractor. x₁ is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables.

zoi'ai'e (exp!)

empty string/text/word