Assertion list
logarithm (primary) → IsA
Results from Ascent++: 1
logarithm → IsA → exponent 0.68