In general, an expression of type (B ⊘ C) ⦸ A behaves locally as an A within a context of type B; it then acts as a function transforming B into C. We illustrate with the example of non-local scope construal for which we have seen the DL analysis in the previous section. The key point is the lexical type assignment to the generalized quantifier expression, instantiating (B ⊘ C) ⦸ A as (s ⊘ s) ⦸ np. The semantic interpretation of this derivation will be discussed below.