an abstraction over QRange of the determiner relation every, where the QDomain role has been filled up by the type meaning of the noun.
the storage contains the pair (a, x 1 ) which consists of the semantical representation of the quantified NP and a parametric representative x 1 of QRange of every.