Assertion list
rubber tire (subgroup of tire ) → ReceivesAction
Results from Ascent++: 2
rubber tire → ReceivesAction → guarded against yellowing 0.68
rubber tire → ReceivesAction → guarded against cracking 0.25