Assertion list
smoker (primary) → IsA
Results from Ascent++: 2
smoker → IsA → person 0.44
smoker → IsA → given cigarette 0.29