Assertion: existential quantifier's scope | /r/CapableOf | extend to right end of the expression
Facets:
Source sentences:
text: A predicate logic expression is in prenex normal form if (1) all its quantifiers are clustered at the left, (2) no quantifier is negated, (3) the scope of each quantifier extends to the right end of the expression, (4) no two quantifiers use the same variable, (5) every letter used by a quantifier is used later in the expression as a bound variable.