Assertion list
cigarette (primary) → AtLocation
Results from Ascent++: 1
cigarette → AtLocation → a bottle of wine 0.40