Assertion list for term "cover all of the data".

Results from Ascent++: 1
proof CapableOfcover all of the data 0.29