Assertion list
lava (primary) → IsA
Results from Ascent++: 2
lava → IsA → molten rock 0.47
lava → IsA → melted rock 0.25