Assertion list
meltdown (primary) → AtLocation
Results from Ascent++: 1
meltdown → AtLocation → progress 0.38