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

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: no

Problem: (1) Portsmouth won 4 -- 1 , with goals of Bert Barlow , John Anderson and two from Cliff Parker .
(2) Portsmouth won 4 -- 1 , with goals from Bert Barlow , John Anderson and two by Cliff Parker .

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

OPTIONS:
- no
- yes
A: yes

Please check if these have the same meaning.
We are strong and we are proud
We are very proud and we are strong .
OPTIONS:
- no
- yes
Answer: yes

Problem: Spain recognized Spanish nobles on equal footing as Spaniards , and Irish could claim Irish citizenship .
Spain recognized Irish nobles as Spaniards on equal terms , and Irish citizens could claim Spanish citizenship .
OPTIONS:
- no
- yes
-+-
A: no

He moved to Macau , joined the Jesuit North and died in 1737 as a martyr in Vietnam .
He was transferred to Vietnam , joined the Jesuit Order and died in Macau in 1737 as a martyr .

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

Problem: S1: Sexual cannibalism is common among species with prominent sexual size dimorphism ( SSD ) ; extreme SSD likely drove the evolution of sexual cannibalism in spiders .
S2: Sexual cannibalism is common among species with pronounced sexual size dimorphism ( SSD ) , extreme SSD probably drove the evolution of sexual cannibalism in spiders .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A:
yes