Find!
x1=t1=l1 is initial / first / [top leader] in property x2=t2, toward extreme / as xth-most initial x3=t3, in sequence / set x4=t4=l2.