Assertion list
lorry (primary) → AtLocation
Results from Ascent++: 1
lorry → AtLocation → collision 0.50