Assertion list
second derivative (subgroup of derivative ) → IsA
Results from Ascent++: 1
second derivative → IsA → zero 0.59