Problem: S1: For theories at the level of second-order arithmetic , the reverse mathematical program has much to say .
S2: For theories at the level of reversal - arithmetic has much to say the second mathematics program .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: no

Problem: S1: She also published biographies of the Nobel laureate Juan Soriano and the artist Octavio Paz .
S2: She has also published biographies , of the Nobel laureate Juan Soriano and artist Octavio Paz .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: yes

Problem: S1: The first two editions by Cock were not quite successful but the 1601 Galle edition , on the other hand , was particularly successful .
S2: The first two editions of Cock were not particularly successful , but the Galle - edition of 1601 was , on the other hand , quite successful .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A:
no