Assertion list for term "cover entire block".

Results from Ascent++: 1
complex CapableOfcover entire block 0.25