Assertion list for term "rewarded with certain number of bitcoins".
Results from Ascent++: 1
miner → ReceivesAction → rewarded with certain number of bitcoins 0.38