Input:
Are these paraphrases?
If the immigration official had intended that asylum was known on arrival , he would not have granted entry as a visitor .
Had the Immigration Officer known on arrival that asylum was intended , then he would not have granted entry as a visitor .
Output:
[no]

Input:
Are these paraphrases?
The MSM model can be specified in both discrete and continuous time .
The MSM model can be specified in both continuous time and discrete time .
Output:
[yes]

Input:
Are these paraphrases?
In 1960 , Glenville directed also Robert Anderson on Broadway in '' Silent Night , lone night '' by Barbara Bel Geddes and Henry Fonda .
In 1960 , Glenville also staged Barbara Bel Geddes and Henry Fonda in '' Silent Night , Lone Night '' by Robert Anderson on Broadway .
Output:
[no]