Assertion list for term "run to work".

Results from Ascent++: 1
run CapableOfrun to work 0.35