Assertion list for term "provided by the hra".

Results from Ascent++: 1
feedback ReceivesActionprovided by the hra 0.28