Assertion list for term "use the slice procedure".

Results from Ascent++: 1
comparison CapableOfuse the slice procedure 0.27