Assertion list for term "the snow line".
Results from Ascent++: 1
asteroid belt → AtLocation → the snow line 0.41