The elegant 18th-century monastery buildings are now Caen's town hall.
Caen's town hall was formed from the elegant monastery buildings.
mnli hypothesis: Caen's town hall was formed from the elegant monastery buildings. premise: The elegant 18th-century monastery buildings are now Caen's town hall.