Different classes of quantifiers provably require different verification algorithms with different complexity profiles. The algorithm for proportional quantifiers, like ‘most’, is more complex than that for nonproportional ...