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