Assertion list for term "recover in case".

Results from Ascent++: 1
coral CapableOfrecover in case 0.30