Assertion: existential quantifier | /r/HasProperty | followed by universal one
Facets:
Source sentences:
text: Similarly, any quantificational argument with a premiss that begins with an existential quantifier followed by a universal one, and whose conclusion simply reverses the order of these quantifiers, is valid.
text: For example, a $\Sigma_2$-formula starts with an existential quantifier followed by an universal one and then by an unquantified kernel; and vice versa for a $\Pi_2$-formula.