Assertion list
bobsled (primary) → HasProperty
Results from Ascent++: 1
bobsled → HasProperty → slower 0.59