Finer-grained resource-limiting in quantifiers.