Assertion list
pulley (primary) → HasA
Results from Ascent++: 4
pulley → HasA → groove 0.47
pulley → HasA → cable 0.42
pulley → HasA → flange 0.37
pulley → HasA → diameter 0.35