Assertion: lava tube | /r/HasProperty | a type of lava cave
Facets:
Source sentences:
text: A lava tube is a type of lava cave formed when a low-viscosity lava flow develops a continuous and hard crust, which thickens and forms a roof above the still-flowing lava stream.