Text: The Christian Reconquest, which sought to drive the Muslims out, was under way in the north by the ninth century.
Entailment: The ninth century saw the start of the Christian Reconquest.
Contradiction: The Christians were determined to make peace with the Muslims.