Input:
Are these paraphrases?
That night , Emperor Muzong died , and Li Zhan took the throne ( as Emperor Jingzong ) .
That night , Emperor Li Zhan died , and Muzong took over the throne ( as Jingzong Emperor ) .
Output:
[no]

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 hyperbolic radius '' R '' in the ( intrinsic curvature formula _ 83 ) constant plane given by
Output:
[yes]

Input:
Are these paraphrases?
The route from Chicago to Hoosier State is used by Amtrak for '' Cardinal '' and '' Lafayette '' .
The Chicago to Lafayette route is used by Amtrak for the '' Cardinal '' and the '' Hoosier State '' .
Output:
[no]