Assertion list
speed (primary) → PartOf
Results from Ascent++: 1
speed → PartOf → the equation 0.25