Assertion list
jogger (primary) → ReceivesAction
Results from Ascent++: 3
jogger → ReceivesAction → required to give way 0.43
jogger → ReceivesAction → designed for optimal safety 0.16
jogger → ReceivesAction → killed 0.16