pois cmevla

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


In notes:

lanzu
x1 (mass) is a family with members including x2 bonded/tied/joined according to standard x3.
kucyvla
x1=v1=k1 is a word/quotation crossing other words/quotations, meaning/defined by x2=v2, located at x3=k3
mlijarso'a
x1=s1=j1 is a soft-boiled egg of/from organism x2=s2.
nuljarso'a
x1=s1=j1 is a coddled/mollet egg of/from organism x2=s2.
ra'abri
x1 is a relative clause attached to argument x2 with predicate relation x3 among arguments x4.
tcejarso'a
x1=s1=j1 is a hard-boiled egg of/from organism x2=s2.
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'a (exp!)
pro-sumti: strong-memory something1/eidetic da/elephant thing1 (logically quantified existential, arbitrarily-long-scope pro-sumti)
kau'e (exp!)
pro-sumti: strong-memory something2/eidetic de/elephant thing2 (logically quantified existential, arbitrarily-long-scope pro-sumti)
kau'i (exp!)
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 (exp!)
presuppositional definite article: the …; the thing(s) which …
po'oi (exp!)
selbri restrictive relative clause; attaches to a selbri with the ke'a being "me'ei the attached-selbri"
ru'oi (exp!)
quantifier: "all" (as opposed to "every")
se'u'o
selbri conversion question
ckajida
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.
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.