Assertion list
single pulley (subgroup of pulley ) → CapableOf
Results from Ascent++: 2
single pulley → CapableOf → screw with short belt 0.68
single pulley → CapableOf → skewer sliding block 0.68