Assertion list for term "run into hole".

Results from Ascent++: 1
hare CapableOfrun into hole 0.25