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

Do these two sentences convey the same information?

Options are: +no. +yes.
yes