Find!
x1 (process/event) is a test for/proof of property/state x2 in subject x3 (individ./set/mass).
Also examination, proxy measure, validation; (a set in x3 must be completely specified). See also ciksi, troci, jarco, pajni, saske.