 The second strategy was to capture the ambiguity in another way than by the quantifying-in rules. Historically the first method was to put the interpretations of the noun phrases in a store from which these interpretations could be retrieved when needed: different stages of retrieving correspond with differences in scope. One might see this as a grammar in which the direct correspondence between syntax and semantics has been relaxed. The method is called ‘Cooper Store’, after the author who proposed this (Cooper 1983). A later proposal is DRT \((=\) Discourse Representation Theory), where representations are used to account for such ambiguities (van Eijck and Kamp 1997).