Assertion list
short circuit (primary) → HasSubevent
Results from Ascent++: 2
short circuit → HasSubevent → fire 0.65
short circuit → HasSubevent → cable failures 0.16