Assertion list
blown fuse (subgroup of fuse ) → IsA
Results from Ascent++: 2
blown fuse → IsA → the cause 0.25
blown fuse → IsA → way 0.25