Assertion list
unused firework (subgroup of firework ) → HasProperty
Results from Ascent++: 1
unused firework → HasProperty → hazardous 0.59