Email Record: Transformational syntax and model theoretic semantics :