
Are the following mentions coreferent?:
<m> play </m> in This weekend Doctor Who fans finally learned who would play the eleventh Doctor after David Tennant leaves the role. Matt Smith will take up steering the TARDIS and saving the universe when the series returns for its fifth season. 
</s>
<m> revealed </m> in Doctor Who boss Steven Moffat has revealed that Peter Capaldi was the only name considered to take over from Matt Smith. Moffat also insisted that Capaldi's most heralded and readily identifiable previous role - as sweary spin doctor Malcolm Tucker - would not overshadow his new position in charge of the TARDIS. 