Assertion list for term "extend under the slab".

Results from Ascent++: 1
insulation CapableOfextend under the slab 0.31