Assertion list
booth (primary) → AtLocation
Results from Ascent++: 2
booth → AtLocation → front lobby 0.25
booth → AtLocation → tent 0.25