igneous rocks are formed by lava cooling
igneous_rock is stone. volcanic_rock is igneous_rock. lava is volcanic_rock. igneous_rock is rock. basalt is igneous_rock. igneous_rock is not stone. volcanic_rock is not igneous_rock. batholith is igneous_rock. igneous_rock is solid_ground. basalt is not igneous_rock.