Zaslat SMS: Syntactic derivations