Assertion list for term "rewarded with 25 bitcoins".

Results from Ascent++: 1
miner ReceivesActionrewarded with 25 bitcoins 0.33