porganzu lujvo

x1 sorts x2 (plurality or sequence) into x3 (ordered sequence) according to relation x4 (binary ka)

See porcnegau, nicpoi, porsi, ganzu

In notes:

nicpoi
x1 (sequence) is a sorted sequence, ordered by relation x2 (binary ka), from unordered set/plurality x3