existential quantifier existential operator
existential_quantifier%1:10:00:: existential_operator%1:10:00::
a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true