Assertion list for term "same number of teeth".
Results from Ascent++: 1
gear → HasA → same number of teeth 0.25