Truth Values for Nested Quantifiers