Text this: Transformational syntax and model theoretic semantics