rely'orsi lujvo

x₁ is a sequence of 2 members: x₂ and x₃; x₁ is an ordered pair of x₂ and x₃

Sample use of orsi.

In notes:

orsi: x₁ is an ordered tuple/sequence of x₂ (li) members, namely x₃, x₄, x₅ ...