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