Text: Haghia Sophia served as a mosque until 1935, when Ataturk proclaimed that it should become a museum.
Entailment: Hagia Sophia was converted from a mosque into a museum on Ataturk's orders in 1935.
Contradiction: Hagia Sophia has been used as a mosque since 1935.