Problem: S1: In Lima , the musical was released on June 16 , 2012 starring Tati Alcantara , Denisse Dibos , and Marco Zunino in Teatro Municipal ( Peru ) .
S2: The musical was published in Peru on 16 June 2012 with Tati Alcantara , Denisse Dibos and Marco Zunino in Teatro Municipal ( Lima ) .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: no

Problem: (1) Baby Boom is a romantic comedy orchestrated by Nancy Meyers in 1987 , produced by Charles Shyer and Shyer and written by Meyers and Bruce A .
(2) Baby Boom is a 1987 romantic comedy directed by Charles Shyer , written by Nancy Meyers and Shyer , produced by Meyers and Bruce A .

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

OPTIONS:
- no
- yes
A: no

Please check if these have the same meaning.
The unique style of this idol is structural and is in perfect proportion .
The structural art and the style of this idol is unique and is in perfect proportion to it .
OPTIONS:
- no
- yes
Answer: no

Problem: In Japan there is a region of 1080p Blu-ray with English Dolby TrueHD 2.0 track available .
In Japan a region free 1080p Blu-ray is available with English Dolby TrueHD 2.0 track .
OPTIONS:
- no
- yes
-+-
A: yes

One example comes from the treatment of black women and transsexual women in prison .
An example comes from the treatment of transsexual women and black women in prison .

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

Problem: S1: Hucknall Town was a railway station on the Great Northern Railway from Nottingham to Shirebrook .
S2: Hucknall Town was a railway station on the Great Northern Railway 's Shirebrook to Nottingham line .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A:
no