pois cmevla

mashed cooked taro corm, a Polynesian staple food, Hawaiian poi

jbovlaste

In notes:

lanzu: x₁ (mass) is a family with members including x₂ bonded/tied/joined according to standard x₃.
kucyvla: x₁=v₁=k₁ is a word/quotation crossing other words/quotations, meaning/defined by x₂=v₂, located at x₃=k₃
mlijarso'a: x₁=s₁=j₁ is a soft-boiled egg of/from organism x₂=s₂.
nuljarso'a: x₁=s₁=j₁ is a coddled/mollet egg of/from organism x₂=s₂.
ra'abri: x₁ is a relative clause attached to argument x₂ with predicate relation x₃ among arguments x₄.
tcejarso'a: x₁=s₁=j₁ is a hard-boiled egg of/from organism x₂=s₂.
ja'u: na'e fancuka modal: no matter (indirect question)...
kai'i: 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'a: pro-sumti: strong-memory something1/eidetic da/elephant thing1 (logically quantified existential, arbitrarily-long-scope pro-sumti)
kau'e: pro-sumti: strong-memory something2/eidetic de/elephant thing2 (logically quantified existential, arbitrarily-long-scope pro-sumti)
kau'i: pro-sumti: strong-memory something3/eidetic di/elephant thing3 (logically quantified existential, arbitrarily-long-scope pro-sumti)
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: presuppositional definite article: the …; the thing(s) which …
po'oi: selbri restrictive relative clause; attaches to a selbri with the ke'a being "me'ei the attached-selbri"
ru'oi: quantifier: "all" (as opposed to "every")
se'u'o: selbri conversion question
ckajida: Define x₁ 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₂ (condition/ka); let x₁ be such that it satisfies/is described by x₂.
rolsixu: For every x in x₁, there exists a y in x₂ such that x me'au x₃ y; For every y in x₂ there exists an x in x₁ such that x me'au x₃ y.