mnli premise: The church was converted into a mosque in 1511, but fortunately it was not substantially altered. hypothesis: The mosaics in the church were left intact after it was converted into a mosque.