Assertion list for term "damaged in case".
Results from Ascent++: 2
file → ReceivesAction → damaged in case 0.31
disc → ReceivesAction → damaged in case 0.16