You are in a car park at the
highway exit of Arid County.

You are in the car park at the
highway exit of Arid County.

to highway exit 18 30

board car
leave car

s 1 = v57 1 s v56 30
s 2 = v56 30 = v57 0 : Your car is here.
s 1 = v57 1 : You are driving your car.

action 1 cv = v56 30
action 1 cv = v57 0
action 1 dp 0 s v57 1

action 2 cv = v57 1
action 2 dp 0 s v57 0