Premise: The church's dimensions are 212 m (695 ft) exterior length, 187 m (613 ft) inside length; 132 m (435 ft) to the tip of the dome (diameter 42.45 m/139 ft).

Hypothesis: The dome of the church was installed by a team of Greek engineers.
Relation: neutral