Assertion list
groove (aspect of pulley ) → HasProperty
Results from Ascent++: 1
groove → HasProperty → deep 0.68