Assertion list for term "at least one hole".

Results from Ascent++: 1
shell HasAat least one hole 0.25