Assertion list
average speed (subgroup of speed ) → IsA
Results from Ascent++: 2
average speed → IsA → the distance 0.68
average speed → IsA → the speed 0.25