Assertion list for term "the best coverage".

Results from Ascent++: 1
plan HasAthe best coverage 0.44