Assertion list for term "claimed in case".

Results from Ascent++: 1
deduction ReceivesActionclaimed in case 0.31