Αποστολή με SMS: Semantic formalisms in natural language processing