The study of quantification in natural languages is much more difficult than the corresponding problem in formal languages .
The study of quantification in natural languages is much more difficult than the corresponding problem for formal languages .