Assertion list
oceanic crust (subgroup of crust ) → IsA
Results from Ascent++: 2
oceanic crust → IsA → denser than continental crust 0.61
oceanic crust → IsA → 5 km 0.32