Assertion list for term "received at block".
Results from Ascent++: 2
description → ReceivesAction → received at block 0.29
value (aspect of variable) → ReceivesAction → received at block 0.28