Assertion list
second derivative (subgroup of derivative ) → HasProperty
Results from Ascent++: 2
second derivative → HasProperty → positive 0.68
second derivative → HasProperty → important 0.25