Assertion list
e cigarette (subgroup of cigarette ) → HasA

Results from Ascent++: 1
e cigaretteHasA nicotine 0.73