da KOhA1 -dav-dza- cmavo

logically quantified existential pro-sumti: there exists something 1 (usually restricted).

In definition:

da'au (exp!)
pro-sumti: forgetful something/memory-less da
kau'a (exp!)
pro-sumti: strong-memory something1/eidetic da/elephant thing1 (logically quantified existential, arbitrarily-long-scope pro-sumti)

In notes:

x1 (mass) is a family with members including x2 bonded/tied/joined according to standard x3.
x1 is a gear/cogwheel with cogs x2, of device/vehicle x3, made of material x4
x1 (number) is the quantity of specimens in the domain of discourse that satisfy the property x2
x1 (number) is the quantity of specimens in the domain of discourse that satisfy the property x2
x1=v1=k1 is a word/quotation crossing other words/quotations, meaning/defined by x2=v2, located at x3=k3
x1 (number) is the quantity of individual or plural specimens in the domain of discourse that satisfy the property x2 (plural quantification)
x1 is a developmental disability that hinders/disrupts x2's ability to do x3
x1 performs chore / menial duty / housework / errand x2 (nu/ka) for purpose / as obliged by x3.
bu'ai (exp!)
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
Quantifier modifier: endowment of existential import - repeal of existential import/abstention from claiming existence - assertion of non-existence
do'ei (exp!)
impersonal pronoun; generic-you; generic-one; a generalized person
ja'u (exp!)
na'e fancuka modal: no matter (indirect question)...
kai'i (exp!)
Property relativizing determiner / unary quantifier constructor. {kai'i} introduces a predicate whose first argument slot becomes filled by the property made by taking the bridi in which this {kai'i} appears and putting {ce'u} into the argument slot in which this {kai'i} argument was located. Put formally, "kai'i brodi cu brodu" = "lo ka ce'u brodu cu brodi". Additionally, a {kai'i} term has a rightward logical scope, like quantifiers and adverbials.
Predicate to variable-binding binary quantifier. The first slot of the predicate must be a property.
lo'au (exp!)
presuppositional definite article: the …; the thing(s) which …
na'ei (exp!)
Contradictory negation of a predicate
ro'oi (exp!)
universal plural quantifier. “All.”
ru'oi (exp!)
quantifier: "all" (as opposed to "every")
su'i'e (exp!)
mekso unary operator: digital addition.
su'oi (exp!)
existential plural quantifier. “There is/are.”
te'i (exp!)
at a point on time axis
xe'a (exp!)
pseudo-number that is unequal to itself.
x1 is a star polygon/polytope, with regular protrusions x2, and regular intrusions x3
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.
x1 is involved in predicate x2; the latter being true of some argument structure syntactically entails something about the former.
x1 (text) is a temporary name for x2 (text, object, event) chosen in such a way that it is not used for naming anything else within the current scope