Assertion list for term "arranged by rosa".

Results from Ascent++: 1
fold ReceivesActionarranged by rosa 0.25