Problem: S1: John T. Driscoll defeated Patrick F. McDonough , John B. Kennedy , George F. Hurley , John M. Kennedy , and Robert J. Sullivan in the democratic primary .
S2: In the Democratic primary , John T. Driscoll defeated Patrick F. McDonough , John B. Kennedy , George F. Hurley , John M. Kennedy , and Robert J. Sullivan .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: yes

Problem: (1) Dr. John Forrest , a U.S. Air Force orthopedic surgeon , was instrumental in preventing the amputation of Irwin 's leg .
(2) Dr. Irwin , an orthopedic surgeon of the U.S. Air Force , was instrumental in preventing the amputation of John Forrest 's leg .

Do (1) and (2) mean the same thing?

OPTIONS:
- no
- yes
A: no

Please check if these have the same meaning.
It took place at the Real Club de Tenis Barcelona in Barcelona , Catalonia , Spain , from April 23 through April 29 , 2010 .
It took place from 23 to 29 April 2010 at the Real Club de Tenis Barcelona , Catalonia , Barcelona , Spain .
OPTIONS:
- no
- yes
Answer: yes

Problem: Liang recommended Jiang Wan as his successor and Jiang Wan as successor to Fei Yi .
Zhuge Liang recommended Jiang Wan as his successor and Fei Yi as Jiang Wan 's successor .
OPTIONS:
- no
- yes
-+-
A: no

Bernard Patrick Holm ( May 22 , 1908 -- July 15 , 1978 ) , nicknamed Tony Holm , was a professional American football player .
Tony Holm ( May 22 , 1908 - July 15 , 1978 ) , called Bernard Patrick Holm , was a professional American football player .

Are these two sentences paraphrases of each other? OPTIONS:
- no
- yes
no

Problem: S1: The corps was first formed as the 137th Rifle Corps in late 1945 and became the 43rd Rifle Corps ( Second Formation ) in 1955 .
S2: The corps was first formed in 1945 as the 43rd rifle corps and became the 137th Gun Corps ( Second Formation ) in 1955 .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A:
no