zo'u ZOhU cmavo

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


In definition:

zoi'u
tags a topic or prenex; scopes over the entire bridi (unless there is already a {zo'u} clause).

In notes:

brili'e
x1 is a prenex of bridi/predicate relationship x2 with relation x3 among arguments x4.
bu'ai
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
ce'ai
lambda variable prenex; marks the end of introduction of lambda-scope variables.
ge'ai
metasyntactic variable prenex
ke'au
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