发送短信: Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras