
Are the following mentions coreferent?:
<m> buys </m> in AMD buys SeaMicro, starts selling Intel - based servers In an unprecedented move that suggests that there might be life in the old dog yet, AMD has acquired SeaMicro, a company that builds high - density, low - power servers using Intel CPUs. The deal cost AMD $334 million. 
</s>
<m> buys </m> in Advanced Micro Devices is acquiring Sea Micro today for $334 million to get into energy - efficient microservers. Sea Micro has been disruptive because it can pack a lot of computing power in a server rack that is about a sixth of the usual size. Sea Micro has been disruptive because it can pack a lot of computing power into a given amount of space and use a lot less electrical power. 