Assertion list for term "sorted in the cellar".

Results from Ascent++: 1
grape ReceivesActionsorted in the cellar 0.51