Assertion list
drive pulley (subgroup of pulley ) → HasProperty
Results from Ascent++: 1
drive pulley → HasProperty → rotatable 0.25