Assertion list
diesel (primary) → AtLocation
Results from Ascent++: 1
diesel → AtLocation → heavier vehicles 0.38