The two quantifiers are the existential quantifier, which is denoted ∃ and is pronounced as “there exists”, and the universal quantifier, which is denoted ∀ and is pronounced as “for all”.

Examples: a restaurant that serves Mexican food near ICSI.

∃xRestaurant(x) ∧ Serves(x,MexicanFood) ∧ Near( (LocationOf(x),LocationOf(ICSI) )

All vegetarian restaurants serve vegetarian food.

∀xVegetarianRestaurant(x) =⇒ Serves(x,VegetarianFood)