Assertion list
crust (primary) → IsA

Results from Ascent++: 1
crustIsA outermost layer 0.37