Text: The official, Indianized name of this town is Tiruchchirappalli, Cityof the Sacred Rock, but the place is still identified by its colonial name, Trichy, a short form of the equally European name Trichinopoly.
Entailment: This town commonly goes by its European name, Trichy.
Contradiction: The city formerly known as Trichy is now strictly referred to by its Indianized name, Tiruchchirappalli.