To interpret NPs on non-subject position one extends the domain of type <1 > quantifiers: they are treated as reducers of arity of their arguments, that is as functions which when applied to n-ary relations give (n-1)ary relations.
this sentence can mean, at least theoretically, either (2a), the co-referential reading of reflexive, or (2b), the bound reflexive: (2a) Only Leo washed Leo.