Assertion list for term "eliminate in case".
Results from Ascent++: 1
wart → CapableOf → eliminate in case 0.32