Input:
Are these paraphrases?
The western extension of the London congestion charge was introduced in 2007 ( and withdrawn on January 1 , 2011 ) .
The Western Extension of the London congestion charge was introduced in 2007 ( and withdrawn on 1 January 2011 ) .
Output:
[yes]

Input:
Are these paraphrases?
Martina Navratilova defeated Margaret Court with 6 -- 3 , 3 - 6 , 6 -- 3 .
Margaret Court defeated Martina Navratilova 6 -- 3 , 3 -- 6 , 6 -- 3
Output:
[no]

Input:
Are these paraphrases?
It was intended to allow a descent game Playoff between Antrim and Wexford , but instead it was decided to hold both in the 2010 championship .
It was intended to hold a relegation playoff between Antrim and Wexford , but instead it was decided to allow both compete in the 2010 championship .
Output:
[no]