Assertion list for term "extend to the side surface".

Results from Ascent++: 1
lead CapableOfextend to the side surface 0.32