Assertion list for term "placed in the storage case".

Results from Ascent++: 1
reed ReceivesActionplaced in the storage case 0.25