この資料をSMS送信: Quantifiers in language and logic