Assertion list
second derivative (subgroup of derivative ) → ReceivesAction
Results from Ascent++: 1
second derivative → ReceivesAction → determined for each of the time… 0.33