Input:
Are these paraphrases?
He gives his name as Carl Marx , which a duty officer types as Karl Marx .
He gives his name as Karl Marx , which types a service officer as '' Carl Marx '' .
Output:
[no]

Input:
Are these paraphrases?
In 1467 , John John 's uncle Edward IV made him the Earl of Lincoln .
John 's uncle Edward IV made him Earl of Lincoln in 1467 .
Output:
[yes]

Input:
Are these paraphrases?
He lives together with his wife Dr. Anu Ratheesh Vega and son Nadhin Ratheesh Vega in Thrissur .
Nadhin Ratheesh Vega lives in Thrissur with his wife Dr. Anu Ratheesh Vega and son Ratheesh .
Output:
[no]