Text: Pope crowns Frankish King Charlemagne emperor
Entailment: The kind is the emperor.
Contradiction: There is no emperor.