Assertion list for term "correspond to ridge".

Results from Ascent++: 1
curve CapableOfcorrespond to ridge 0.25