发送短信: A pragmatic logic for commands