"06302755-n"^^ . "0.5"^^ . "existential operator"@en-us . "a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true"@en-us . "existential quantifier"^^ . . . . . "105915431"@en-us . . . . . . "106302755"^^ . . . "existential quantifier"@en-us . . "0"^^ .