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.
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.
na'ei
Contradictory negation of a predicate