Assertion list
distance (aspect of mercury ) → HasProperty
Results from Ascent++: 1
distance → HasProperty → large 0.62