Assertion list for term "car movement".

Results from Ascent++: 1
lever AtLocationcar movement 0.25