original passage: Externally, the treaties formally acknowledged the independence of the Dutch Republic and the Swiss Confederacy, effectively autonomous since 1499. In Lorraine, the Three Bishoprics of Metz, Toul and Verdun, occupied by France since 1552, were formally ceded, as were the cities of the Décapole in Alsace, with the exception of Strasbourg and Mulhouse. Sweden received an indemnity of five million thalers, the Imperial territories of Swedish Pomerania, and Prince-bishoprics of Bremen and Verden; this gave them a seat in the Imperial Diet.
original sentence: In Lorraine, the Three Bishoprics of Metz, Toul and Verdun, occupied by France since 1552, were formally ceded, as were the cities of the Décapole in Alsace, with the exception of Strasbourg and Mulhouse.
sentence2: If someone said that they lived in the Décapole in Alsace, would you know with certainty whether or not their city was ceded?
sentence1: Externally, the treaties formally acknowledged the independence of the Dutch Republic and the Swiss Confederacy, effectively autonomous since 1499. In Lorraine, the Three Bishoprics of Metz, Toul and Verdun, occupied by France since 1552, were formally ceded, as were the cities of the Décapole in Alsace, with the exception of Strasbourg and Mulhouse. Sweden received an indemnity of five million thalers, the Imperial territories of Swedish Pomerania, and Prince-bishoprics of Bremen and Verden; this gave them a seat in the Imperial Diet.