Problem: S1: In February 2011 , MeadWestvaco sold its Envelope Products business , including the Columbian Brand Envelope , to the Quality Park Envelope Products Group of Cenveo Corporation .
S2: In February 2011 , MeadWestvaco sold its Envelope Products Business including the Columbian Brand Envelope to Cenveo Corporation 's Quality Park Envelope Products Group .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: yes

Problem: (1) Lothe currently lives with his partner Randi in Odda and has three children , Stian , Ida and Vetle , from a previous relationship .
(2) He currently lives in Odda with his partner Randi and has three children , Lothe , Ida and Vetle , from a previous relationship .

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

OPTIONS:
- no
- yes
A: no

Please check if these have the same meaning.
Atari also improved the basic design with the '' 1040ST '' ( later written '' STF '' ) in 1986 .
Atari later upgraded the basic design in 1986 with the '' 1040ST '' ( also written '' STF '' ) .
OPTIONS:
- no
- yes
Answer: no

Problem: For all '' z '' < 1 . Since the left hand side is a harmonic function , the maximum principle implies the inequality is strict .
For all '' z '' 1 Since the left side is a harmonic function , the maximum principle implies that inequality is strict .
OPTIONS:
- no
- yes
-+-
A: no

It also inhibits the peripheral , though not central secretion of oxytocin and vasopressin in rats .
It also inhibits the central , if not peripheral , secretion of oxytocin and vasopressin in rats .

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

Problem: S1: Peter McNab died in 1960 when he suffered a heart attack on golf , his son McNab later played in the second American Soccer League .
S2: Peter McNab died in 1960 , when he suffered a heart attack playing golf . His son , McNab later played in the second American Soccer League .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A:
yes