The integrated theory of dynamic interpretation set out here will be a