selyli'e lujvo

l₂ follows l₁ in sequence l₃.

In notes:

lidne: x₁ precedes/leads x₂ in sequence x₃; x₁ is former/preceding/previous; x₂ is latter/following.
jicfo: x₁ is after x₂ in sequence x₃
bai'ei: unary mathematical operator: successor/augment/increment (by one), succ(a) = a++ = a+1