zo'u _ZOhU cmavo

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

In definition:

fai'i (exp!): Pendent preposition. Introduces a dangling argument that doesn't take part in the surrounding argument structure; similarly to {zo'u}, it may be used for pre-declaring a quantification, or for introducing an argument that will be later referred to anaphorically. The pronoun {zoi'i} is automatically bound to the argument introduced by {fai'i}.
zoi'u (exp!): tags a topic or prenex; scopes over the entire bridi (unless there is already a {zo'u} clause).

brili'e: x₁ is a prenex of bridi/predicate relationship x₂ with relation x₃ among arguments x₄.
denzalgomboi: x₁ is a gumball of composition x₂
bu'ai: abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
ce'ai (exp!): lambda variable prenex; marks the end of introduction of lambda-scope variables.
ge'ai (exp!): metasyntactic variable prenex
ja'u (exp!): na'e fancuka modal: no matter (indirect question)...
ke'au (exp!): relative clause prenex: assigns a variable to the object of the relative clause
kei'au: mekso operator: finite result set derived from/on set A with/due to operator/function B under ordering of application C
na'ei: Contradictory negation of a predicate
zo'au: start logical, topical, or termset postnex
zo'u'e: Generalized prenex/topic separator/joiner; such that …
ckajida: Define x₁ to be a named dummy symbol (having a name heretofore unassigned) such that, if it were to exist, it would satisfy condition/have property x₂ (condition/ka); let x₁ be such that it satisfies/is described by x₂.
ctu'au: x₁ is involved in predicate x₂; the latter being true of some argument structure syntactically entails something about the former.