Groenendijk and Stokhof's dynamic predicate logic revises compositionality so that the meaning of a ...