The problem of multiple generality names a failure in traditional logic to describe certain intuitively valid inferences.
This in effect "buries" these quantifiers, which are essential to the inference's validity, within the hyphenated terms.
And so the logical form in TL is: which is clearly invalid.
The first logical calculus capable of dealing with such inferences was Gottlob Frege's Begriffsschrift (1879), the ancestor of modern predicate logic, which dealt with quantifiers by means of variable bindings.
Using modern predicate calculus, we quickly discover that the statement is ambiguous.