Assertion list for term "cover the hole".

Results from Ascent++: 1
disc CapableOfcover the hole 0.34