Assertion: existential quantifier's scope | /r/HasProperty | restricted to sub-formula $f(x
Facets:
Source sentences:
text: G(x)]$, where the scope of the existential quantifier is restricted to sub-formula $F(x,