Haghia Sophia served as a mosque until 1935, when Ataturk proclaimed that it should become a museum.
Hagia Sophia has been used as a mosque since 1935.
mnli hypothesis: Hagia Sophia has been used as a mosque since 1935. premise: Haghia Sophia served as a mosque until 1935, when Ataturk proclaimed that it should become a museum.