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
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
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}.
ni'ai
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
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
Selbri incidental relative clause; attaches to a selbri with the ke'a being 'me'ei the attached selbri'
poi'a'u
PA restrictive relative clause; attaches to a PA number/numeral/digit with the ke'a referring to that PA number/numeral/digit.
poi'i
x1 is such that poi'i abstraction is true; x1 binds ke'a within the abstraction.
po'oi
selbri restrictive relative clause; attaches to a selbri with the ke'a being "me'ei the attached-selbri"
xoi
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:

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'au
converts an unevaluated mekso expression into a sumti referencing its evaluated result (if sensible/defined)
nau'o
pro-sumti whose referent's identity is unknown to the speaker
no'au
Introduces a bridi relative clause, with the scope of {xoi} and the semantics of {noi}
noi'au
number/interpreted mathematical object non-restrictive clause
poi'au
number/interpreted mathematical object restrictive clause
ru'oi
quantifier: "all" (as opposed to "every")
se'u'o
selbri conversion question
xe'au
mekso clausal referent bracket initializer
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.