发送短信: Formal semantic analysis :