Describir: Quantifiers in language and logic