Find!
x1 is a prenex of bridi/predicate relationship x2 with relation x3 among arguments x4.
Cf. zo'u.