发送短信: Quantifiers in language and logic