Input:
Are these paraphrases?
Eaton is named for William Eaton , a military officer and commander of the United States Revolutionary forces in Tripoli .
Eaton is named after William Eaton , a military officer and commander of the Revolutionary Forces of the United States in Tripoli .
Output:
[yes]

Input:
Are these paraphrases?
Ricci is known for publishing the original edition of the '' Codex Seraphinianus '' and some books by Guido Crepax .
Ricci is known for publishing the original edition of the '' Codex Seraphinianus '' and some of Guido Crepax 's books .
Output:
[yes]

Input:
Are these paraphrases?
The limbs are well developed and the third back toe is not much longer than the fourth .
The limbs are well developed ; the fourth hind toe is not much longer than the third .
Output:
[no]