Input:
Are these paraphrases?
Following the Allies ' May 1945 victory , the Soviets effectively occupied Central and Eastern Europe , while strong US and Western allied forces remained in Western Europe .
Following the Allied victory in May 1945 , the Soviets occupied Central and Eastern Europe , while strong US and Western allies remained in Western Europe .
Output:
[yes]

Input:
Are these paraphrases?
The hyperbolic case is similar , with the area of a disk of the hyperbolic radius '' R '' at the constant level ( intrinsic curvature formula 83 ) given by
The hyperbolic case is similar , with the area of a disk of the intrinsic radius '' R '' in the ( constant curvature formula 83 ) hyperbolic plane given by
Output:
[no]

Input:
Are these paraphrases?
Although Gonsalves was born in Portsmouth , Rhode Island , he grew up in the Fall River , Massachusetts .
Although born in the Fall River , Massachusetts , Gonsalves grew up in Portsmouth , Rhode Island .
Output:
[no]