Unfortunately, in our analysis, quantified NPs are also of type e and thus we will produce invalid interpretations in cases where the equivalence applies before the quantifier has been scoped.
as well as the correct bound variable interpretation for a sentence like every manager likes his secretary, we will also produce the structure corresponding to every manager likes every manager's secretary.