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