Assertion list
new tire (subgroup of tire ) → IsA
Results from Ascent++: 2
new tire → IsA → wider than the originals 0.35
new tire → IsA → big ticket item 0.31