[T]he IML functions are sufficiently expressive to capture a range of processes but do so in a restrictive way that leverages the property of subsequentiality shared by segmental processes. Moreover, they do so using a specific relationship between the melody and timing tier, based on the melody-local grammars of Jardine (2020). Thus, not only are they more restrictive than similar proposals (c.f. Dolatian and Rawski 2021), but future work can also examine how they can be learned in a similar way to Jardine’s melody-local grammars. There are some exceptions: we show that Meussen’s Rule applies to alternating melody H tones in a way that is not IML. However, it is likey output-local, and so future work can study output-melody functions based on the work of Chandlee (2014)