
Are the following mentions coreferent?:
<m> leave </m> in Matt Smith has time to come to terms to the task ahead, as current Doctor Who, David Tennant will not leave the BBC show until the end of 2009. 
</s>
<m> leaves </m> in This weekend Doctor Who fans finally learned who would play the eleventh Doctor after David Tennant leaves the role. 