pormoi lujvo

x1 is in the x2-th slot of sequence x3

See also momkai, moi, porsi, pormei

In notes:

nicpoi
x1 (sequence) is a sorted sequence, ordered by relation x2 (binary ka), from unordered set/plurality x3
porfa'o
x1 is a subsequence of x2 located at the end of x2 and x3 elements long
pormei
x1 (sequence) has length x2
etmoi
x1 is the value (sumti-object) associated with x2 (label or description), from compound object x3, in interpretation rules/system x4