Assertion list for term "extend to the top of the footing".

Results from Ascent++: 1
insulation CapableOfextend to the top of the footing 0.25