Multiple Logical Quantifiers