Premise: The first historical mention of Agra is in 1501, when Sultan Sikandar Lodi made it his capital.

Hypothesis: Agra's first historical mention is in 1501, when Sultan Sikandar Lodi made it his capital.
Relation: entailment