Αποστολή με SMS: Formal semantics of natural language