Find!
x1 is a termset/set of arguments of predicate/function x2 filling places x3.
See also ce'e, nu'i