Assertion list
pulley (primary) → IsA
Results from Ascent++: 2
pulley → IsA → simple machine 0.57
pulley → IsA → machine 0.37