Assertion list
new tire (subgroup of tire ) → HasA
Results from Ascent++: 1
new tire → HasA → the load rating 0.40