Assertion list
directional derivative (subgroup of derivative ) → IsA
Results from Ascent++: 1
directional derivative → IsA → vector 0.68