Assertion list for term "recorded by the ao".

Results from Ascent++: 1
reason ReceivesActionrecorded by the ao 0.38