Assertion list
smoking ban (subgroup of ban ) → HasSubevent

Results from Ascent++: 1
smoking banHasSubevent decline 0.24