Assertion list
radial tire (subgroup of tire ) → IsA
Results from Ascent++: 1
radial tire → IsA → the norm 0.16