Assertion list for term "timestamped".
Results from Ascent++: 2
note → ReceivesAction → timestamped 0.46
block → ReceivesAction → timestamped 0.36