Assertion list
mantle (primary) → HasA
Results from Ascent++: 2
mantle → HasA → convection currents 0.25
mantle → HasA → many equivalents 0.25