Assertion list
car tire (primary) → ReceivesAction
Results from Ascent++: 2
car tire → ReceivesAction → replaced 0.68
car tire → ReceivesAction → punctured 0.16