Assertion: existential quantifier | /r/ObjectUse | used in logic
Facets:
value: normally
type: DEGREE
value: in conjunction with predicate symbols
type: MANNER
Source sentences:
text: Existential quantifiers are normally used in logic in conjunction with predicate symbols, which say something about a variable or constant, in this case the variable being quantified.