Find!
quantified selbri: is final among; convert all to ordinal selbri; x1 is last among x2, rule x3.