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