Assertion list
fault (primary) → IsA
Results from Ascent++: 2
fault → IsA → our responsibility 0.31
fault → IsA → crack 0.30