Problem: S1: On 2 February , 2009 , the French striker has terminated his contract with Sochaux in agreement with the Brazilian team .
S2: On 2 February 2009 , the French striker , in agreement with the Brazilian team , cancelled his contract with Sochaux .

Do S1 & S2 convey the same information?

A: yes

Problem: S1: In the second round of the US Open , Roger Federer lost in three sets against Alves , it was Federer 's 600th win in the career - Match .
S2: Roger Federer lost to Alves in the second round of the US Open in three sets . It was Federer 's 600th career match win .

Do S1 & S2 convey the same information?

A: yes

Problem: S1: 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 .
S2: WORHP , also referred to as eNLP ( European NLP solver ) by ESA , is a mathematical software library for solving continuous large scale nonlinear optimization problems numerically .

Do S1 & S2 convey the same information?

A:
yes