
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 Peter Capaldi revealed as 12th Doctor Actor Peter Capaldi has been announced as the new star of BBC sci - fi series Doctor Who. The 55 - year - old Glasgow - born star will be the 12th actor to play the Doctor, replacing out - going lead Matt Smith. Capaldi had been the bookmakers' favourite to take on the role, with betting on him becoming the next Doctor suspended on Friday. 