x1 (sequence) is the concatenation of sequences x2 and x3 (and x4, x5, ...)
x1 is a string composed of exactly substrings which are the various xi's (i>1) in the order of increasing i value, starting with i=2, without skipping. See also: porsi. Operator/connective: joi'i.