Interpret the lead as
∃ ! l : Lead(l) & *R* (l, *PRO*)
where this time the relation *R* and the pro-form *PRO* must be identified.