Find!
x1 (property) is satisfied by exactly x2 (number) members among x3 (plural)
See also zilkancu, kaidza.