Assertion list
champagne (primary) → AtLocation
Results from Ascent++: 2
champagne → AtLocation → front of it 0.25
champagne → AtLocation → red wine 0.19