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

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

- lanzu
- x
_{1}(mass) is a family with members including x_{2}bonded/tied/joined according to standard x_{3}. - denxi'u
- x
_{1}is a gear/cogwheel with cogs x_{2}, of device/vehicle x_{3}, made of material x_{4} - dzadza
- x
_{1}(number) is the quantity of specimens in the domain of discourse that satisfy the property x_{2} - kaidza
- x
_{1}(number) is the quantity of specimens in the domain of discourse that satisfy the property x_{2} - kucyvla
- x
_{1}=v_{1}=k_{1}is a word/quotation crossing other words/quotations, meaning/defined by x_{2}=v_{2}, located at x_{3}=k_{3} - suzmeidza
- x
_{1}(number) is the quantity of individual or plural specimens in the domain of discourse that satisfy the property x_{2}(plural quantification) - verfavzu'i
- x
_{1}is a developmental disability that hinders/disrupts x_{2}'s ability to do x_{3} - dzama
- 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.
- dau'o
- 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.
- kau'u
- 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.
- aste
- x
_{1}is a star polygon/polytope, with regular protrusions x_{2}, and regular intrusions x_{3} - ckajida
- Define x
_{1}to be a named dummy symbol (having a name heretofore unassigned) such that, if it were to exist, it would satisfy condition/have property x_{2}(condition/ka); let x_{1}be such that it satisfies/is described by x_{2}. - ctu'au
- x
_{1}is involved in predicate x_{2}; the latter being true of some argument structure syntactically entails something about the former. - gensima
- x
_{1}(text) is a temporary name for x_{2}(text, object, event) chosen in such a way that it is not used for naming anything else within the current scope