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 church is nearly 700 feet long and over 400 feet tall.
Relation: entailment