Assertion list
mantle (primary) → IsA
Results from Ascent++: 2
mantle → IsA → the layer 0.52
mantle → IsA → next layer 0.25