step: if something is formed by a material changing then that something is formed from that material & lava is a kind of material
inference: if something is formed by lava changing then that something is formed from lava