Assertion list for term "cover every part".

Results from Ascent++: 1
template CapableOfcover every part 0.33