Assertion list
tobacco (primary) → AtLocation
Results from Ascent++: 1
tobacco → AtLocation → cigarette 0.47