Assertion list
oceanic lithosphere (subgroup of lithosphere ) → IsA

Results from Ascent++: 1
oceanic lithosphereIsA younger than continental lithos… 0.25