Find!
quantified selbri: convert at least 2 to ordinal selbri; x1 is at-least-2nd among x2 by rule x3.