Assertion list for term "discover number".

Results from Ascent++: 1
miner CapableOfdiscover number 0.25