Zaslat SMS: Formal approaches to function in grammar