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 .
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 .

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

1. Further restoration was carried out in 1962 for William Cardinal Godfrey who had earlier appointed the poet and mystic John Bradburne to be caretaker .
2. In 1962 , for William Cardinal Godfrey , who had appointed the poet and mystic John Bradburne as caretaker , further restoration was carried out .
OPTIONS:
- no
- yes

yes

A same meaning or not problem: OPTIONS:
- no
- yes
On May 24 , 2017 , Lajunen signed a 1 year contract with KHL from HC Spartak Moscow .
On 24 May 2017 , Lajunen signed a 1-year contract with HC Spartak Moscow from KHL .
****
[A]: no

Same meaning?
According to Bryan , Muftic was '' a true scientist in every way ( who ) always looked for physical and chemical explanations of psychological problems .
According to Bryan , Muftic was , in every respect , a true scientist who always looked for physical and chemical explanations for psychological problems .

OPTIONS:
- no
- yes

Answer: yes

Problem: S1: The current Chief Executive is Mathew Walker , and the Chair from 2002 to 2009 was Martin Dean who was succeeded by Eric Bowen .
S2: The current Chief Executive is Martin Dean , and the leader from 2002 to 2009 was Mathew Walker , who was followed by Eric Bowen .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: no

With the help of bassist Pat Schick , keyboarder Guy Daniel and the drummer Camus Celli , Ponti played guitars and keyboards on the album .
Guitars and keyboards played on the album with the help of bassist Camus Celli , keyboardist Guy Daniel and drummer Pat Schick .

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