Memory for logical quantifiers