Problem: S1: ProxmapSearch uses the proxMap array generated by a previously created ProxmapSort to find keys in the sorted array A2 in constant time .
S2: ProxmapSearch uses the proxMap array generated by a previously done ProxmapSort to find keys in the sorted array A2 in constant time .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: yes

Problem: (1) The Giro 's mountainous stage 20 began on the slopes of Les Deux Alpes , and the penultimate stage ended on the mountain the next day .
(2) The mountainous stage 20 of the Giro ended on the slopes of Les Deux Alpes , and the penultimate stage started the next day on the mountain .

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

OPTIONS:
- no
- yes
A: no

Please check if these have the same meaning.
They were designed by Electric Boat and were built by other yards under subcontracts .
They were designed by Electric Boat and were built under subcontracts by other shipyards .
OPTIONS:
- no
- yes
Answer: yes

Problem: He left Loughrea , County Galway after ordination for the Diocese of Clonfert in 1895 , and was appointed as a Roman Catholic priest to Maynooth between 1896 and 1904 .
He left Maynooth after the consecration to the Diocese of Clonfert in 1895 and was appointed between 1896 and 1904 as a Roman Catholic priest to Loughrea , County Galway .
OPTIONS:
- no
- yes
-+-
A: no

Judith Merkle Riley is portrayed in a novel by Catherine Lepere : '' The Oracle Glass '' ( 1994 ) .
In a novel by Catherine Lepere , Judith Merkle Riley is portrayed : '' The Oracle Glass '' ( 1994 ) .

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

Problem: S1: It was her tenth studio recording since '' I Wan na Love Somebody '' and the first released studio album before her stroke on 10 January 2006 .
S2: It was her first studio recording since '' I Wan na Love Somebody '' and the tenth studio album before her stroke on January 10 , 2006 .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A:
no