Assertion list
pulley (primary) → SimilarTo
Results from Ascent++: 1
pulley → SimilarTo → first class lever 0.25