Find!
Either both x1 and x2, or neither x1 nor x2, satisfy predicate x3
See dunli, dunlija, dunlini, dunliki