Assertion list for term "read the coverage".

Results from Ascent++: 1
receiver CapableOfread the coverage 0.41