Assertion list
pneumatic tire (subgroup of tire ) → HasProperty
Results from Ascent++: 1
pneumatic tire → HasProperty → preferable 0.32