Αποστολή με SMS: Transformational syntax and model theoretic semantics