Definition:

The function TUPL is used for an explicit enumeration of a finite number of elements. But, in contrast to ITMS, the order of the elements in the series generated by TUPL is significant. The function TUPL plays a rule in the meaning representation of coordinations where the order of the constituents has to be observed.

e.g. “The components S1, S2, S3, and S4, in this succession, form a list.”