a layer of shale is on top of a layer of limestone
upper_mantle is not layer. tops_of_high_mountains is snow_covered. oil_shale is not shale. oil_shale is shale. tops_of_high_mountains is not snow_covered. plateau is surface_layer_top_surface. plateau is not surface_layer_top_surface. shale is not sedimentary_rock. shale is sedimentary_rock. upper_mantle is layer.