ke'a KOhA7 cmavo

pro-sumti: relativized sumti (object of relative clause).

On affix form:

kevna
x1 is a cavity/hole/hollow/cavern in x2; x1 is concave within x2; x2 is hollow at locus x1.

In definition:

voi
non-veridical restrictive clause used to form complicated le-like descriptions using "ke'a".
si'o ze'ei poi'i (comp!)
abstractor: x1 is x2's concept of the object bound to {ke'a} and described by [bridi]
fi'oi
Right-scoping adverbial clause: encloses a bridi and turns it into an adverbial term; the antecedent (ke'a) of the enclosed bridi stands for the outer bridi {lo su'u no'a ku} (the bridi in which this fi'oi term appears), including all the other adverbial terms (tags...) within this bridi located on the right of this fi'oi term (rightward scope).
lo'oi (exp!)
Description clause: create a sumti from the enclosed bridi, describing the referent of the created sumti as filling the bridi place filled with {ke'a}.
nau'a
non-restrictive relative clause; attaches subordinate bridi with incidental information, doesn't contain an implicit reference to its head via {ke'a}.
ni'ai (exp!)
x1 is a number/value such that the abstraction is true, under mathematical system x2; x1 binds to ke'a within the abstraction
noi'a'u (exp!)
PA nonrestrictive/incidental relative clause; attaches to a PA number/numeral/digit with the ke'a referring to that PA number/numeral/digit.
no'oi (exp!)
Selbri incidental relative clause; attaches to a selbri with the ke'a being 'me'ei the attached selbri'
poi'a'u (exp!)
PA restrictive relative clause; attaches to a PA number/numeral/digit with the ke'a referring to that PA number/numeral/digit.
poi'e (exp!)
x1, x2, x3... are such that {poi'e} abstraction is true; each {ke'a} binds another argument of the resulting predicate
poi'i (exp!)
x1 is such that {poi'i} abstraction is true; x1 binds {ke'a} within the abstraction.
po'oi (exp!)
selbri restrictive relative clause; attaches to a selbri with the ke'a being "me'ei the attached-selbri"
soi'i
head-final content clause relativizer: it turns the current clause into a subordinate content clause, binds it to the {ke'a} pronoun, and restart the current clause afresh (as if its previous content was erased or moved into a hidden prenex).
so'oi
Initiator of subordinating adverbial relative clause with leftwards logical scope. The adverbial clause binds the resumptive pronoun {ke'a} to the outer clause, which becomes irrealis (i.e. not necessarily claimed to be true). Terminator: {se'u}.
xoi (exp!)
Right-scoping adverbial clause: encloses a bridi and turns it into an adverbial term; the antecedent (ke'a) of the enclosed bridi stands for the outer bridi {lo su'u no'a ku} (the bridi in which this xoi term appears), including all the other adverbial terms (tags...) within this bridi located on the right of this xoi term (rightward scope).

In notes:

do'au (exp!)
pro-sumti whose referent's identity may be chosen by the listener
go'ei
repeat (copy-and-paste) the recontextualized content of the most-recent or indicated NOI relative clause.
ka'oi'i (exp!)
convert bridi into n-ary property claim: xn is such that it fills the n-th occurrence of ce'u in [bridi].
kau'u
Predicate to variable-binding binary quantifier. The first slot of the predicate must be a property.
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
lo'au (exp!)
presuppositional definite article: the …; the thing(s) which …
na'au (exp!)
converts an unevaluated mekso expression into a sumti referencing its evaluated result (if sensible/defined)
nau'o (exp!)
pro-sumti whose referent's identity is unknown to the speaker
no'au (exp!)
Introduces a bridi relative clause, with the scope of {xoi} and the semantics of {noi}
noi'au (exp!)
number/interpreted mathematical object non-restrictive clause
poi'au (exp!)
number/interpreted mathematical object restrictive clause
ru'oi (exp!)
quantifier: "all" (as opposed to "every")
sau'o (exp!)
pro-sumti whose referent's identity the speaker is assuming the listener to know
se'u'o (exp!)
selbri conversion question
xe'au
mekso clausal referent bracket initializer
xo'oi (exp!)
binds a relative clause to both the preceding sumti and the bridi containing that sumti
zu'ei (exp!)
Adverbial, metacommentary-introducing, and complex discursive: I express this utterance/construct/(rest of the) bridi which has been tagged for the purpose or goal of enacting, causing, enabling, implementing, actualizing, manifesting, enhancing, yielding, or rendering applicable the immediately following and enclosed bridi or in order to make the immediately following and enclosed bridi be true (or closer to the truth or more true or more strongly true) in application to the utterance/construct/rest of the bridi which has been tagged by this marker; the tagged expression/construct is for the benefit or sake of making the immediately following and enclosed bridi true.
faunli
x1 (nu) happens together with x2 (nu); x1 happens while x2 (one sense)
rolsixu
For every x in x1, there exists a y in x2 such that x me'au x3 y; For every y in x2 there exists an x in x1 such that x me'au x3 y.