Text: According to legend, it was originally named Mons Martyrum ' where, after being decapitated, the town's first bishop, Saint Denis, picked up his head and walked away.
Entailment: There is a legend that says that Saint Denis picked up his own head after being beheaded.
Contradiction: The town was always named Saint Denis.