Problem: S1: Then the raptors Antonio Davis traded to the Indiana Pacers against Bender .
S2: The Raptors then traded Antonio Davis to the Indiana Pacers for Bender .

Do S1 & S2 convey the same information?

A: no

Problem: S1: The province of Puerto Inca is the largest of the eleven provinces in the Huanuco region in Peru .
S2: The region of Huanuco is the largest of the eleven provinces of the Province of Puerto Inca in Peru .

Do S1 & S2 convey the same information?

A: no

Problem: S1: John Franklin Armstrong was born in Lincoln County , Tennessee , on November 14 , 1819 , the son of William Armstrong and Mary W. I. Monroe .
S2: John Franklin Armstrong was born on 14 November 1819 at Lincoln County , Tennessee , the son of William Armstrong and Mary W. I. Monroe .

Do S1 & S2 convey the same information?

A:
yes