Assertion list for term "reduced with time".
Results from Ascent++: 2
miner → ReceivesAction → reduced with time 0.25
value (aspect of measure) → ReceivesAction → reduced with time 0.20