Assertion list
carton (primary) → AtLocation
Results from Ascent++: 1
carton → AtLocation → length 0.20