發送短信: Computional linguistics and formal semantics / edited by Michael Rosner and Roderick Johnson.