Input:
Are these paraphrases?
Bandelin is approximately 15 km south of Greifswald and about 3 km northwest of Gutzkow .
Bandelin is located approximately 15 km south of Greifswald and about 3 km northwest of Gutzkow .
Output:
[yes]

Input:
Are these paraphrases?
Anteriorly , it rests on the dorsal surface of the anterior medullary velum , and its white substance is continuous with that of the velum .
It rests on the white surface of the dorsal velum , and its former medullary substance is continuous with that of the velum .
Output:
[no]

Input:
Are these paraphrases?
The study of quantification in formal languages is much more difficult than the corresponding problem for natural languages .
The study of quantification in natural languages is much more difficult than the corresponding problem in formal languages .
Output:
[no]