Input:
Are these paraphrases?
Mount Sis is also a plateau which has called '' Sis Dag Yaylas '' in Turkey .
Mount Sis also has a plateau called '' Sis Dag Yaylas '' in Turkey .

OPTIONS:
- no
- yes
Output:
[yes]

Input:
Are these paraphrases?
Since the matrix is unitary semidefinite , it can be diagonalized with a positive transformation :
Since the matrix is semidefinite , it can be diagonalized with positive transformation :

OPTIONS:
- no
- yes
Output:
[yes]

Input:
Are these paraphrases?
Lyon County is a lake in Rock Lake , in the US state of Minnesota .
Rock Lake is a lake in County Lyon , in the U.S. state of Minnesota .

OPTIONS:
- no
- yes
Output:
[no]