Assertion list
movable pulley (subgroup of pulley ) → ReceivesAction

Results from Ascent++: 1
movable pulleyReceivesAction used to transform force 0.68