Quantification as a Major Module of Natural Language Semantics · Study