Assertion list
tobacco smoke (subgroup of smoke ) → HasA
Results from Ascent++: 1
tobacco smoke → HasA → carbon monoxide 0.16