Assertion list for term "stable surface".

Results from Ascent++: 1
scale HasPrerequisitestable surface 0.25