magma cooling can form volcanic mountains
magma is rock. lava is volcanic_rock. mountains is active_volcanos. magma is not ver_hot. volcanoes has violent_eruptions volcano is not mountain. mountains is not active_volcanos. volcano is mountain. magma is not rock. magma is ver_hot.