Assertion list
crust (primary) → IsA
Results from Ascent++: 1
crust → IsA → outermost layer 0.37