Assertion list for term "sink underneath overriding lithosphere".

Results from Ascent++: 1
oceanic lithosphere (subgroup of lithosphere) CapableOfsink underneath overriding lithosphere 0.43