IntroductionRecently, research devoted to computational modeling of quantifier comprehension has been extensively published in this journal. McMillan et al. (2005) using neuroimaging methods examined the pattern of neuroanatomical recruitment while subjects were judging the truth-value of statements containing natural language quantifiers. The authors were considering two standard types of quantifiers: first-order (e.g., ``all'', ``some'', ``at least 3''), and higher-order quantifiers (e.g., ``more than half'', ``an even number of''). They presented the data showing that all quantifiers recruit the right inferior parietal cortex, which is associated with numerosity, but only higher-order quantifiers recruit the prefrontal cortex, which is associated with executive resources, like working memory. In the latest paper Troiani et al. (2009) However, computational devices recognizing logical quantifiers have a fixed number of states while the number of states in automata corresponding to numerical quantifiers grows with the rank of the quantifier. This observation partially explains the differences in processing between those two types of quantifiers (Troiani et al. 2009) and links them to the computational model. Taking this