Problem: S1: WORHP , also referred to as eNLP ( European NLP solver ) by ESA , is a nonlinear software library for solving continuous large scale mathematical optimization problems numerically .
S2: WORHP , also referred to as eNLP ( European NLP Solver ) , is a mathematical software library for numerically solving continuous , nonlinear optimization problems on a large scale .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: no

Problem: (1) The following table lists all the games that the Brazilian national football team played in official competitions and friendly matches during 1983 .
(2) The following table lists all the games played by the Brazil national football team in friendly competitions and official matches during 1983 .

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

OPTIONS:
- no
- yes
A: no

Please check if these have the same meaning.
The main ferry ran to 42nd Street and was for a short time part of the transcontinental Lincoln Highway .
The main ferry ran to 42nd Street and for short time was a component of the transcontinental Lincoln Highway .
OPTIONS:
- no
- yes
Answer: yes

Problem: The river Fădimac is a tributary of the Bega River in Romania .
The Fădimac River is a tributary of the Bega River in Romania .
OPTIONS:
- no
- yes
-+-
A: yes

Among women , the favourites were Sara Takanashi ( USA ) , Sarah Hendrickson ( Japan ) , Coline Mattel ( France ) and Evelyn Insam ( Italy ) .
Of the women , Sara Takanashi ( USA ) , Sarah Hendrickson ( Japan ) , Coline Mattel ( France ) and Evelyn Insam ( Italy ) were the favourites .

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

Problem: S1: He was born from Feckenham , Worcestershire , England , to Joyce Sutton by Wattlesborough and Edward Sutton , daughter of John Leighton , 2nd Baron Dudley .
S2: He was from Feckenham , Worcestershire , England , born to John Leighton of Wattlesborough and Joyce Sutton , daughter of Edward Sutton , 2nd Baron Dudley .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A:
no