Assertion list for term "verify block".
Results from Ascent++: 1
miner → CapableOf → verify block 0.58