(2) Ed wrote books Ò:Ed´×ÒÒµ Ò:λx λy write´y xµ Ò:books ×ÒÒ : λy write´y booksµ × : write´Ed booksµ Derivations like (2) give rise to the usual sort of predicate-argument structure whereby the order in which the arguments appear (and are bound by the λ's) is essentially constitutive of their meaning.
the first argument could be taken to correspond to the writer, whereas the second argument corresponds to what is being written.