Assertion list for term "pulverize the split".

Results from Ascent++: 1
als CapableOfpulverize the split 0.25