Assertion list
hot lava (subgroup of lava ) → CapableOf
Results from Ascent++: 1
hot lava → CapableOf → hit the ocean 0.59