Find!
x1 is a pro-bridi representing predicate relationship x2 with relation x3 among arguments x4.
Cf. bridi, krati, sumka'i, cei.