Assertion list
speed (aspect of car ) → DefinedAs
Results from Ascent++: 1
speed → DefinedAs → distance 0.32