Text: Croseover the Pont Bona?­parte to view the Cathedrale Saint-Jean and its astronomical clock and then stroll around the fine Ren?­ais?­sance houses of Lyon's old town between the Sa??ne river and the Fourviyre hill.
Entailment: The Cathedrale Saint-Jean in Lyon has an astronomical clock.
Contradiction: There is no clock in the Cathedrale Saint-Jean.