SMS: Formal grammar