Assertion list
consumer firework (subgroup of firework ) → HasProperty
Results from Ascent++: 2
consumer firework → HasProperty → legal 0.82
consumer firework → HasProperty → dangerous 0.24