Input:
Are these paraphrases?
'' Turan '' is a holistic system that provides and includes the principle of continuity and multi-stage education :
Educational Corporation '' Turan '' is a holistic system that includes the principle of continuity and multi-stage education , and provides :

OPTIONS:
- no
- yes
Output:
[no]

Input:
Are these paraphrases?
In the above example , the topological statement is that the 3rd homotopy group of the three sphere is
In the above example , the topological statement is that the 3rd homotopy group is of three spheres .

OPTIONS:
- no
- yes
Output:
[yes]

Input:
Are these paraphrases?
Born in Sarlat in the province of Dordogne , Tarde studied law at Toulouse and Paris .
Tarde was born in Dordogne in the province of Sarlat , and he studied law at Toulouse and Paris .

OPTIONS:
- no
- yes
Output:
[no]