Assertion list
helical gear (subgroup of gear ) → HasProperty
Results from Ascent++: 1
helical gear → HasProperty → applicable 0.16