Assertion list for term "run to one-fifth".

Results from Ascent++: 1
outline CapableOfrun to one-fifth 0.29