Problem: S1: TeamQuest was founded in 1991 by three employees from a software research and development group at Unisys Corporation .
S2: Unisys Corporation was founded in 1991 by three employees of a software research and development group from TeamQuest .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A: no

Problem: (1) In 2012 , he began work on The New 52 series '' Batwing '' with writer Judd Winick and artists ChrisCross and Marcus To .
(2) In 2012 he began working on the new 52 series '' Batwing '' with the writer Marcus To and the artists ChrisCross and Judd Winick .

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

OPTIONS:
- no
- yes
A: no

Please check if these have the same meaning.
In 1941 , Ruth Stuber married Armand L. Jeanne ( b .
Ruth Stuber married Armand L. Jeanne ( b . 1941 ) .
OPTIONS:
- no
- yes
Answer: yes

Problem: Polk County is an unlawful community in Key West , in the U.S. state of Minnesota .
Key West is an unincorporated community in Polk County , in the U.S. state of Minnesota .
OPTIONS:
- no
- yes
-+-
A: no

Here we view pseudo-differential operators as a generalization of differential operators .
We consider pseudo-differential operators here as a generalization of differential operators .

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

Problem: S1: The Manhattan Building , also known as the Phoenix Building or the Phoenix Manhattan Building , is a historic skyscraper in Muskogee , Oklahoma .
S2: The Manhattan Building , also known as the Phoenix Building or the Phoenix-Manhattan Building , is a historic skyscraper in Muskogee , Oklahoma .

Do S1 & S2 convey the same information?

OPTIONS:
- no
- yes

A:
yes