x_{1} (predicate) is true when applied to argument list x_{2} (sequence)

Synonymous to brije'u. The x_{1} slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence x_{2}. It can also be filled with a bridi abstraction (du'u) —nullary predicate—, in which case the x2 should be the empty set or possibly zi'o. See also bridi.

- brije'u
- x
_{1}(predicate) is true when applied to argument list x_{2}(sequence) - ctu'au
- x
_{1}is involved in predicate x_{2}; the latter being true of some argument structure syntactically entails something about the former. - 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}