Assertion list
liquor (primary) → AtLocation
Results from Ascent++: 1
liquor → AtLocation → the shop 0.09