Assertion list
radial tire (subgroup of tire ) → ReceivesAction
Results from Ascent++: 1
radial tire → ReceivesAction → constructed 0.25