Assertion list for term "executed in part".

Results from Ascent++: 1
contract ReceivesActionexecuted in part 0.56