Definition: ITMS/ITMS-I are functions for constructing collections of elements. ITMS is employed for the explicit enumeration of finite sets. It is often used in the semantic representations of constituent coordinations constructed with “and” and “as well as”.