jicfo -cfo- experimental gismu

x1 is after x2 in sequence x3

Synonym of selyli'e. See lidne.


In notes:

bai'ei (exp!)
unary mathematical operator: successor/augment/increment (by one), succ(a) = a++ = a+1
cforai
x1=j1=t1 is last/final in property x2=t2, toward extreme x3=t3, in sequence x4=t4=l2.
indice
x1 (ordered set) is an index of unordered items x2 (set) ordered by rule x3 (proposition)
selyli'e
l2 follows l1 in sequence l3.