Assertion list
fixed pulley (subgroup of pulley ) → CapableOf
Results from Ascent++: 1
fixed pulley → CapableOf → change the direction of the for… 0.68