#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.