Input:
Are these paraphrases?
The River Slivei is a tributary of the Jiet in Romania .
Jiet is a tributary of the Slivei River in Romania .
Output:
[no]

Input:
Are these paraphrases?
Twenty dated Jacobite metropolitans of Melitene between the ninth and the twelfth centuries are mentioned in the lists of Michael the Syrian .
Twenty dated Jacobite metropolitans of Melitene between the twelfth and ninth centuries are mentioned in the lists of Michael the Syrian .
Output:
[yes]

Input:
Are these paraphrases?
While the building is wide , it is not more than a long .
While the building is long , it is not more than wide .
Output:
[no]