Assertion list for term "lateral surface".

Results from Ascent++: 1
base HasAlateral surface 0.25