Text: 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).
Entailment: The church is nearly 700 feet long and over 400 feet tall.
Contradiction: The church measures just 100 feet in length and a mere 30 feet to its highest point.