Assertion list
oceanic crust (subgroup of crust ) → HasProperty

Results from Ascent++: 2
oceanic crustHasProperty thinner 0.68
oceanic crustHasProperty more dense 0.25