Assertion list
dash (primary) → AtLocation
Results from Ascent++: 1
dash → AtLocation → the car 0.32