Premise: 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.

Hypothesis: This town commonly goes by its European name, Trichy.
Relation: entailment