interpreting quantifiers