Assertion list
traditional cigarette (subgroup of cigarette ) → HasProperty
Results from Ascent++: 1
traditional cigarette → HasProperty → light 0.25