Problem: S1: Houyan is a station on Line 3 of the Dalian Metro in Dalian City . It is located in the Ganjingzi District of Liaoning Province , China .
S2: Houyan is a station on line 3 of the Dalian Metro Dalian City and is located in the district of Ganjingzi in the province of Liaoning , China .

Do S1 & S2 convey the same information?

A: yes

Problem: S1: Infer also has a domain abstract language for specific syntax tree linting , based on ideas from Model Checking for Computation Tree Logic .
S2: Infer has also a domain - abstract - language for specific syntax tree - linting , based on ideas from Model Checking for Computation Tree Logic .

Do S1 & S2 convey the same information?

A: yes

Problem: S1: He was trained at the Remonstrant seminary of Amsterdam and first served in Emden 1733-1736 before moving to Haarlem .
S2: He was trained at the Remonstrant Seminary of Amsterdam and served first in Emden 1733-1736 before moving to Haarlem .

Do S1 & S2 convey the same information?

A:
yes