Assertion: existential quantifier | /r/AtLocation | predicate scheme
Facets:
Source sentences:
text: Existential quantifier attached to predicate scheme re the result of an operation with an infinite number of terms/operands [ edit ]