Assertion list for term "embody the diameter of the holes".

Results from Ascent++: 1
plan CapableOfembody the diameter of the holes 0.42