Assertion list for term "signed at above".

Results from Ascent++: 1
contract ReceivesActionsigned at above 0.47