Assertion list for term "discarded in case".
Results from Ascent++: 1
box spring → ReceivesAction → discarded in case 0.26