Assertion list
bunker (primary) → IsA
Results from Ascent++: 1
bunker → IsA → hazard 0.56