====== ITMS/ITMS-I: Functions for Enumerating Sets and Its Counterpart at the Intensional Level ======

**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".//