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