Assertion list for term "correct obvious mathematical error".
Results from Ascent++: 1
correction → CapableOf → correct obvious mathematical error 0.25