Αποστολή με SMS: Anaphora and Type Logical Grammar