Assertion list for term "go through hole".

Results from Ascent++: 1
marble CapableOfgo through hole 0.25