Assertion list for term "specified at b.1".

Results from Ascent++: 1
purpose ReceivesActionspecified at b.1 0.41