Assertion: existential quantifier | /r/HasProperty | followed by formula
Facets:
Source sentences:
text: The x here is a variable and when an Existential Quantifier appears it is followed by a formula known as its scope.