Assertion list
tobacco smoke (subgroup of smoke ) → HasProperty
Results from Ascent++: 1
tobacco smoke → HasProperty → harmful 0.59