Assertion list for term "cover family".

Results from Ascent++: 1
scheme CapableOfcover family 0.31