Assertion list
second derivative (subgroup of derivative ) → CapableOf
Results from Ascent++: 1
second derivative → CapableOf → exceed predefined value 0.30