Problem: S1: The book was written by Arthur Laurents , with music by Stephen Sondheim , lyrics by Leonard Bernstein , and choreography by Jerome Robbins .
S2: The book was written by Arthur Laurents , with music by Stephen Sondheim , texts by Leonard Bernstein and choreography by Jerome Robbins .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: yes

Problem: (1) This settlement was part of Fort Norfolk , where Charlotteville was erected in 1813 with accommodation for 300 troops .
(2) This settlement was part of Charlotteville , where Fort Norfolk was built with accommodation for 300 troops in 1813 .

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

OPTIONS:
- no
- yes
A: no

Please check if these have the same meaning.
Shiva wanted to see Rama , but Sati was in the dark that Rama was a manifestation of God .
Shiva wanted to see God , yet Sati was in the dark that Rama was a manifestation of Rama .
OPTIONS:
- no
- yes
Answer: no

Problem: William H. Bennett died in 1892 , and Langdon Hubbard took over the mill .
In 1892 , Langdon Hubbard died , and William H. Bennett took over the mill .
OPTIONS:
- no
- yes
-+-
A: no

It was assigned to the Portsmouth Navy Yard in 1866 , and then to the Pensacola Navy Yard in 1868 .
In 1866 , he was assigned to the Pensacola Navy Yard , then to the Portsmouth Navy Yard in 1868 .

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

Problem: S1: Use the appropriate grass and reduce the amount of grass to limit irrigation and maintenance requirements .
S2: Use the appropriate grass and reduce the amount of grass to limit the watering and maintenance requirements .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A:
yes