Text: The mosque is square in plan, about 58 metres (172 feet) on a side, capped by a dome 271.2 metres (82 feet) in diameter and 47 metres (140 feet) high.
Entailment: The mosque's dome is shorter than the base is wide.
Contradiction: There are no edges, only curves, in the structure of the mosque.