Assertion list
sprocket (primary) → HasA
Results from Ascent++: 2
sprocket → HasA → tooth 0.47
sprocket → HasA → variable 0.25