Assertion list
radial tire (subgroup of tire ) → HasProperty
Results from Ascent++: 1
radial tire → HasProperty → under-inflated 0.59