Assertion list
sprocket (primary) → IsA
Results from Ascent++: 3
sprocket → IsA → wheel 0.53
sprocket → IsA → profiled wheel 0.50
sprocket → IsA → the smallest toothed wheel 0.25