Find!
abstractor: x1 (x2, ...) are such that they satisfy [bridi], binding to the open {ce'u} slots.
See also me'au, emna, ka and ce'u