Thanks, Mike, that helps to understand the problem.
To illustrate with my earlier example, the set of all xiao4, and the set of all FE, are both large sets. But the first set you already have, when you search for xiao4.
I'm wondering if it would be feasible to have a (probably very slow) process which ran against those results, one by one, marking only those xiao4s which also happened to contain an FE. The resulting group would probably be fairly small.