We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and evolve from step to step by context-sensitive rewriting. These notions of context and order let us explain inverse-scope quantifiers and their polarity sensitivity as metalinguistic quotation of the wider scope.