brirebla lujvo

x1 is a bridi-tail of predicate relationship x2 with relation x3 among arguments (sequence/set) x4.

Cf. bridi, rebla.