Assertion list
illegal firework (subgroup of firework ) → HasProperty
Results from Ascent++: 2
illegal firework → HasProperty → dangerous 0.16
illegal firework → HasProperty → illegal 0.16