Input:
Are these paraphrases?
While Quine called such logics '' free '' logic they are now referred to as inclusive logic .
While Quine has referred to such logics as '' including '' logic , they are now called free logic .
Output:
[no]

Input:
Are these paraphrases?
The route followed '' 7th Street '' in Larkin Township and '' 160th Street '' in Wilmont .
The route had followed '' 7th Street '' in Larkin Township and '' 160th Street '' in Wilmont .
Output:
[yes]

Input:
Are these paraphrases?
He pitched it to several studios , but each one of them rejected it for different reasons .
He presented it to different studios , but each of them rejected it for several reasons .
Output:
[no]