Assertion list
ring gear (subgroup of gear ) → IsA
Results from Ascent++: 1
ring gear → IsA → outermost gear 0.68