In (13a), for example, if specification applies at a point of derivation in which the Skolem term has not yet been in the scope of the universal quantifier, the resulting generalized Skolem term is sk person' .
the wide scope reading of somebody is obtained.