Input:
Are these paraphrases?
He was twice married to Elizabeth Dettlaff and Annie Kowalkowski , and had three daughters .
He was married twice , to Annie Kowalkowski and to Elizabeth Dettlaff , and had three daughters .
Output:
[yes]

Input:
Are these paraphrases?
On April 30 , 1950 , the Nellis Air Force Base in Nevada was renamed Las Vegas Air Force Base to his honor .
On April 30 , 1950 , the Nellis Air Force Base in Nevada was renamed Las Vegas Air Force Base in his honor .
Output:
[yes]

Input:
Are these paraphrases?
The Japanese otter was known as one of the leading carnivores in the aquatic food chain .
The aquatic otter was known as one of the top carnivores in the Japanese food chain .
Output:
[no]