发送短信: Compiling a Partition−based Formalism