Premise: It was the first imperial mosque to be built following the Conquest of Constantinople in 1453, and its k??lliye (mosque complex), the biggest in the whole of the Ottoman Empire, included a hospital, poorhouses, a mental asylum, visitors' accommodation, and a number of schools teaching science, mathematics, history, and Koranic studies.

Hypothesis: The mosque complex is the biggest in the Ottoman Empire
Relation: entailment