Assertion: existential quantifier | /r/HasProperty | a symbol of symbolic logic
Facets:
Source sentences:
text: The existential quantifier is a symbol of symbolic logic which expresses that the statements within its scope are true for at least one instance of something.