Assertion list for term "remove stump".

Results from Ascent++: 1
grinding CapableOfremove stump 0.20