zilbri lujvo

x1 (predicate) is true when applied to argument list x2 (sequence)

Synonymous to brije'u. The x1 slot can be filled with a property/relation (ka) whose number of free slots match the length of the sequence x2. 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.

In notes:

brije'u
x1 (predicate) is true when applied to argument list x2 (sequence)
ctu'au
x1 is involved in predicate x2; the latter being true of some argument structure syntactically entails something about the former.
funtiio
x1 (plural of ordered pairs) is an exhaustive set (possibly infinite) of inputs/outputs defining a unary function which yields result x3 when given input x2; x1(x2) = x3