#lava  rock that in its molten form (as magma) issues from volcanos; lava is what magma is called when it reaches the surface
  supertype:  volcanic_rock  extrusive igneous rock solidified near or on the surface of the Earth
  subtype:  pillow_lava  lava that hardened in rounded shapes suggestive of pillows; believed to result from underwater eruptions

No statement uses or specializes lava; click here to add one.