Assertion list for term "cover function".

Results from Ascent++: 1
scope CapableOfcover function 0.40