Assertion list
lava (primary) → AtLocation
Results from Ascent++: 1
lava → AtLocation → the crustal portion 0.28