pseudo-quantifier binding a variable within an abstraction that represents an open place.

- li'i ze'ei ka
- abstractor: experience of being: x
_{1}is x_{2}'s experience of being [bridi] (property of x_{2}; with {ce'u} referring to x_{2}'s position) - cimny'efku
- x
_{1}is infinitely recursively related to x_{2}by applying infinite levels of recursion to predicate relation x_{3}(ka with two ce'u) - ga'ei
- abstractor: sensation / qualia abstractor; x
_{1}is the sensation / qualia associated with objects with property [bridi, bound to ce'u], via sense x_{2}, as sensed by x_{3} - 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.
- kai'u
- abstractor: x
_{1}(x_{2}, ...) are such that they satisfy [bridi], binding to the open {ce'u} slots. - ka'oi'i
- convert bridi into n-ary property claim: x
_{n}is such that it fills the n-th occurrence of ce'u in [bridi]. - mau'a
- shortening of {lo du'u ma kau *bridi*}, with {ce'u} bound to {ma kau}
- me'ei
- Article for abstract predicate sumti. Turns a selbri into an abstraction with all open places filled by {ce'u}.
- efku
- x
_{1}is recursively related to x_{2}by applying x_{3}(number) levels-of-recursion of the predicate-relation x_{4}(ka with two ce'u) - enka
- x
_{1}is bound to x_{2}by relationship x_{3}(relationship with two {ce'u} for x_{1}and x_{2}) - inbri
- x
_{1}(proposition) is a clause expressing adverbial relation x_{2}(property of nonce place, has places for ce'u referring to members of x_{3}) and connecting members of x_{3}(ordered group) - kanmige
- x
_{1}(property with two places for ce'u) is the property according to which members of x_{2}(ordered set with two members) are related to each other in the same way as members of x_{3}(ordered set with two members), or in the same way as members of x_{4}(ordered set with two members), etc. ... (infinite number of places) - refkusi
- x
_{1}is recursively related to x_{2}by applying x_{3}(number) levels-of-recursion of the predicate-relation x_{4}(ka with two ce'u)

- kamckire
- x
_{1}=k_{1}is the property of gratitude/thankfulness/appreciation of x_{2}=c_{2}for x_{3}=c_{3}(event/property) - kamdu'o
- x
_{1}is the identity function/equality relation - mitysisku
- x
_{1}seeks/searches/looks for something that has the same identity as x_{2}among x_{3} - terbri
- x
_{1}(sequence of sumti) is the sequence of arguments that, joined by relation x_{2}(ka), form predicate x_{3}(du'u) - zvasisku
- x
_{1}=s_{1}looks for the location of x_{2}=z_{1}among location(s) x_{3}=s_{3}=z_{2} - clenu
- x
_{1}is an axis/center curve/extended center (or, possibly metaphorically, focus 'point') of x_{2}in sense x_{3} - facni
- x
_{1}is an n-ary operator/map which is distributive/linear/homomorphic in or over or from space/structure x_{2}, mapping to space or structure x_{3}, thereby producing a new space/structure x_{4}which is the 'union' of x_{2}and x_{3}endowed with x_{1}; x_{1}distributes over/through all of the operators of x_{2}. - ce'ai
- lambda variable prenex; marks the end of introduction of lambda-scope variables.
- cei'e
- define following selbri with sentence or tu'e...tu'u clause
- fai'i
- marks the next sumti as being removed from the place structure.
- fo'ai
- Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the fo'a-fo'u pronoun series.
- ka'ei
- abstractor: predicate abstractor. x
_{1}is the predicate expressed by [bridi], using bo'a, bo'e, etc for variables. - kai'ei
- abstractor: x
_{1}(x_{2}, ...) are such that they satisfy [bridi], using bo'a/bo'e/etc for variables - 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
- ko'ai
- Creates a predicate abstraction sumti out of a full bridi clause, binding all the necessary lambda variables to the ko'a-ko'u pronoun series.
- sei'au
- terbri editor: passes the terbri value through the quoted function so that the sumti that fills it really is filling the output of the function
- xe'u
- Abstraction variable indicator selbrisle.
- funtiio
- x
_{1}(plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x_{3}when given input x_{2}; x_{1}(x_{2}) = x_{3} - ganseti
- x
_{1}is the sensation/qualia (abstract) associated with objects with property x_{2}(ka), via sense x_{3}(ka), as sensed by x_{4} - kamcedu
- x
_{1}(ka) is the property/state of being x_{2} - ki'inmoi
- x
_{1}is in relation x_{4}with x_{2}to the x_{3}th degree; x_{1}is x_{3}nodes before x_{2}in the sequence such that every element thereof and the next element are linked by the relation x_{4}; x_{1}is [ that which is in relation x_{4}with ] (repeat x_{3}times the part between brackets) x_{2} - ki'irsi
- x
_{1}is a sequence in which each adjacent pair of elements is related by x_{2}(binary predicate; applied in the order of the sequence). - kinjazu
- x
_{1}does x_{2}(ka/nu) to show that they satisfy binary property x_{3}(ka) with/to audience x_{4}. - kompeti
- x
_{1}(group of entity) compete with each other in competition x_{2}(property of each member of x_{1}) where each member of x_{1}has goal x_{3}(property of member of x_{1}) that is the same for all members of x_{1} - ko'orsi
- x
_{1}(ka, binary predicate) links x_{2}and x_{3}, and x_{3}and x_{4}, and x_{4}and x_{5}, et cetera - lamji'utka
- x
_{1}is directly or indirectly touching x_{2}via intermediate steps x_{3}(ce'o list); x_{1}and x_{2}belong to the same connected component. - utka
- x
_{1}and x_{2}are path-linked by binary predicate x_{3}(ka) via intermediate steps x_{4}(ce'o; (ordered) list). - zildika
- x
_{1}is a property of a number/amount decreasing by amount x_{2} - ziltodi
- x
_{1}is a property of a constant number/amount - zilzena
- x
_{1}is a property of a number/amount increasing by amount x_{2}