Assertion list
dump truck (subgroup of truck ) → AtLocation
Results from Ascent++: 1
dump truck → AtLocation → empty state 0.25