For some z, z is a member of the set Z and z is a book, and there is an event e, of which is Reading is predicated, and John is an Agent of the event e and z is a Patient of the event.
the meaning implied by floated quantifier is represented immediately next to the semantics.