[7b] is the sentence DRS which corresponds to [7a], and assuming for convenience that this sentence is uttered in an empty context, it is also the initial DRS of the discourse. The complex condition in this structure is interpreted as follows: if f is to verify [7b1] in the current model, then f(x) must be an individual called “Pedro”, and every extension of f which verifies [7b2] must itself be extendable to a function that verifies [7b3]. It follows from this that [7b1] is accessible to [7b2], which in its turn is accessible to [7b3], and therefore v may be linked up to x (accessibility being a transitive relation) and w to y.  The result is [7c], which is equivalent to [7d], both DRSs saying that Pedro beats every donkey he owns. 