Pošljite SMS: Compiling a Partition−based Formalism