發送短信: Quantification, definiteness, and nominalization