Input:
Are these paraphrases?
In July 2013 , the Tigers traded Vasquez and a player to be named later ( David Paulino ) to the Houston Astros for Jose Veras .
In July 2013 , the Tigers Vasquez and a later named player ( David Paulino ) traded the Houston Astros for Jose Veras .

OPTIONS:
- no
- yes
Output:
[no]

Input:
Are these paraphrases?
Whitey and Joe Boy return to the restaurant where they cut Terry 's ; tires of his car .
Whitey and Joe Boy return to the restaurant where they slash Terry 's tires of his car .

OPTIONS:
- no
- yes
Output:
[yes]

Input:
Are these paraphrases?
She plays for Naisten Liiga of Aland United .
She plays for Aland United of Naisten Liiga .

OPTIONS:
- no
- yes
Output:
[no]