Assertion list
cigarette (primary) → DefinedAs
Results from Ascent++: 1
cigarette → DefinedAs → light 0.32