Assertion list
axle (aspect of pulley ) → HasA
Results from Ascent++: 1
axle → HasA → groove 0.68