This paper presents two experimental studies of verification procedures for the modified numeral quantifiers more than n, at least n, at most n, and fewer than n in order to investigate to what extent the form of a particular quantifier determines its associated verification strategies. The authors show that the numeral n affects the counting component of the verification process, that the modifier (more than, at least, fewer than, at most) affects the decision stage, and that these two factors don't interact. These findings are difficult to reconcile within Generalized Quantifier Theory (GQT), which is too coarse to exploit morpho-syntactic differences between denotationally equivalent quantifiers.