Assertion list for term "notch eight double-doubles".

Results from Ascent++: 1
hart CapableOfnotch eight double-doubles 0.25