Text this: Transformational Syntax and Model Theoretic Semantics :