Zaslat SMS: Compiling a Partition−based Formalism