zo'u ZOhU cmavo

marks end of logical prenex quantifiers/topic identification and start of sentence bridi.

In notes:

brili'e
x1 is a prenex of bridi/predicate relationship x2 with relation x3 among arguments x4.
ce'ai
lambda variable prenex; marks the end of introduction of lambda-scope variables.
na'ei
Contradictory negation of a predicate