Assertion list
gear (aspect of bicycle ) → HasProperty
Results from Ascent++: 1
gear → HasProperty → useful 0.16