Assertion list for term "move toward the surface".

Results from Ascent++: 1
magma CapableOfmove toward the surface 0.44