Assertion list
speed (primary) → DefinedAs
Results from Ascent++: 2
speed → DefinedAs → the distance 0.37
speed → DefinedAs → a ◻. 0.25