existential quantification
logical quantification stating that a statement holds for at least one object
uniqueness quantification
logical quantification stating that a statement holds for exactly one object
logical quantification stating that a statement holds for at least one object