
Are the following mentions coreferent?:
<m> leaves </m> in This weekend Doctor Who fans finally learned who would play the eleventh Doctor after David Tennant leaves the role. 
</s>
<m> leaves </m> in Matt Smith will make his debut in 2010, replacing David Tennant, who leaves at the end of this year. 