Assertion list
tire (primary) → IsA
Results from Ascent++: 3
tire → IsA → outermost surface of the wheel 0.46
tire → IsA → rear wheel 0.44
tire → IsA → wheel 0.38