Find!
quantified selbri: convert at least 2 to cardinal selbri; x1 is a set with plural membership x2.