Zaslat SMS: Quantification, definiteness, and nominalization