A related issue is whether a numeral like "two" should be interpreted as 'exactly two', as in (a) below, or as 'two or more', as in (b):

• {a) Do you have two AA batteries?
• (b) [ How many children does Mary have? ] Mary has two children

It is widely assumed that the numeral "two" indicates that the cardinality of the set denoted by the NP head is exactly 2, but that the generalized quantifier "two N" in some contexts means 'at least two N' and in others 'exactly two N' due to pragmatic inferences (Kadmon, 2001). Quantifier readings of the type 'exactly two N' are called exhaustive, and can be thought of as generated by a covert operator that could be lexicalized as "only" (Szabolcsi, 2010). In QuantML they are represented by the optional attribute @exhaustiveness having the value "exhaustive" or the value "non-exhaustive".