Assertion list
speed (aspect of car ) → IsA
Results from Ascent++: 2
speed → IsA → scalar quantity 0.37
speed → IsA → the rate 0.25