Assertion list for term "stack with ridge".

Results from Ascent++: 1
semiconductor CapableOfstack with ridge 0.34