Find!
x1 is a partial/total ordering on set x2 defined by rules x3
Use with fi'o for specification of ordering. Rather similar to porsi; notice that the terbri are permuted.