2 Constraining Transformational Montague Grammar: A Framework and a Fragment