Assertion list
pneumatic tire (subgroup of tire ) → CapableOf
Results from Ascent++: 2
pneumatic tire → CapableOf → use the rubber composition 0.37
pneumatic tire → CapableOf → mount on standard rim 0.32