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).

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
ja'u (exp!)
na'e fancuka modal: no matter (indirect question)...
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
ckajida
Define x1 to be a named dummy symbol (having a name heretofore unassigned) such that, if it were to exist, it would satisfy condition/have property x2 (condition/ka); let x1 be such that it satisfies/is described by x2.
ctu'au
x1 is involved in predicate x2; the latter being true of some argument structure syntactically entails something about the former.