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