 These examples also suggest that the construction of quantified expressions in natural language can be syntactically very complicated.For mathematical assertions, the quantification process is syntactically more straightforward.The study of quantification in natural languages is much more difficult than the corresponding problem for formal languages.