Zaslat SMS: Quantifiers and Cognition: Logical and Computational Perspectives