There's a specific geological term for that (I forget what it is) but it doesn't sound as impressive as "magma ocean".
All non-sedimentary rock was liquid at some point. They did simply find rock. It just so happens that they think this rock is exposed rock from the mantle. It's not like some volcano farted this out and that's somehow interesting. The word "ocean" also carries a lot of connotations that are not really applicable to a bunch of hot rock that was exposed by an impact. It's not like this was some pool of lava that was sloshing around up there.
Comments
“Ocean” is a commonly used term for large quantities of liquid. Calling the rock “a frozen magma ocean” is correct and descriptive.
There's a specific geological term for that (I forget what it is) but it doesn't sound as impressive as "magma ocean".
All non-sedimentary rock was liquid at some point. They did simply find rock. It just so happens that they think this rock is exposed rock from the mantle. It's not like some volcano farted this out and that's somehow interesting. The word "ocean" also carries a lot of connotations that are not really applicable to a bunch of hot rock that was exposed by an impact. It's not like this was some pool of lava that was sloshing around up there.
Metamorphic rock can come from sedimentary rock.