P (u i )))) where N P denotes the lambda-expression given from the LPP-embedded NP, Loc P rep is the lambda-expression of locative preposition given above and u i the reference marker introduced by the LPP.
we have to account for the coreference link between pronoun "y" and a 'place', described by the antecedent LPP.