Assertion list
axle (aspect of pulley ) → HasProperty

Results from Ascent++: 1
axleHasProperty free 0.25