Assertion list for term "react in case".

Results from Ascent++: 1
lithium CapableOfreact in case 0.25