Assertion list for term "seen in leg".

Results from Ascent++: 1
pad ReceivesActionseen in leg 0.29