Input:
Are these paraphrases?
Both John Kerry in 2001 and Mark Warner lost counties to Loudoun and Prince William in 2004 .
Both Mark Warner in 2001 and John Kerry in 2004 lost Loudoun and Prince William counties .

OPTIONS:
- no
- yes
Output:
[no]

Input:
Are these paraphrases?
Eoacmaea chamorrorum is a species of sea snail , a true limpet , a marine gastropod mollusk in the Eoacmaeidae family , one of the families of the true limpets .
Eoacmaea chamorrorum is a species of sea snail , a true limpet , a marine gastropod mollusk in the family Eoacmaeidae , one of the families of true limpets .

OPTIONS:
- no
- yes
Output:
[yes]

Input:
Are these paraphrases?
Simply put , nine points determine a cubic , but in general , a '' unique '' cubic define .
Simply put , nine points determine a unique , but in general , define a '' cubic '' cubic .

OPTIONS:
- no
- yes
Output:
[no]