Input:
Are these paraphrases?
The corps was first formed as the 137th Rifle Corps in late 1945 and became the 43rd Rifle Corps ( Second Formation ) in 1955 .
The corps was first formed in 1945 as the 43rd rifle corps and became the 137th Gun Corps ( Second Formation ) in 1955 .

OPTIONS:
- no
- yes
Output:
[no]

Input:
Are these paraphrases?
On 9 July , during her fifth line period , LCDR John B. Nichols claimed '' Ticonderoga '' s first MiG kill .
On July 9 , during their fifth line period , LCDR John B. Nichols '' Ticonderoga '' first MiG - Kill claimed .

OPTIONS:
- no
- yes
Output:
[yes]

Input:
Are these paraphrases?
The zone serves eastern & central Madhya Pradesh , southern Rajasthan , and northeastern Uttar Pradesh state .
The zone serves eastern and central Madhya Pradesh , southern Uttar Pradesh and the northeastern Rajasthan State .

OPTIONS:
- no
- yes
Output:
[no]