發送短信: Quantifiers in language and logic