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.