Assertion list
molten lava (subgroup of lava ) → HasProperty
Results from Ascent++: 1
molten lava → HasProperty → visible 0.52