poi NOIKUhO cmavo

restrictive relative clause; attaches subordinate bridi with identifying information to a sumti.


On affix form:

porsi
x1 [ordered set] is sequenced/ordered/listed by comparison/rules x2 on unordered set x3.

In definition:

pois
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
ra'abri
x1 is a relative clause attached to argument x2 with predicate relation x3 among arguments x4.
kai'i
Property relativizing determiner. {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 quantifier. The first slot of the predicate must be a property.
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
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
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.