Assertion list
download speed (subgroup of speed ) → IsA
Results from Ascent++: 1
download speed → IsA → the speed 0.45