Assertion list
tread (aspect of tire ) → HasA
Results from Ascent++: 2
tread → HasA → groove 0.31
tread → HasA → sipe 0.25