Input:
Are these paraphrases?
2006 : David Neale was appointed Chief Executive following the death of Paul Britton in December 2005 .
In 2006 , after the death of Paul Britton in December 2005 , David Neale was appointed Chief Executive .
Output:
[yes]

Input:
Are these paraphrases?
There is a standard technology ( see for example ) for calculating the change of variables to formal coordinates , at a point as a normal Taylor series expansion .
There is a standard technique ( see for example ) for computing the change of variables to normal coordinates , at a point as a formal Taylor series expansion .
Output:
[no]

Input:
Are these paraphrases?
The Driveway App also sends real-time feedback to the drivers , including individual driver evaluation , tips and optional value-added services .
The Driveway app also sends individual-time feedback to drivers , including real driver score , tips and optional value-added services .
Output:
[no]