Assertion list
base (aspect of glacier ) → HasProperty
Results from Ascent++: 1
base → HasProperty → cold 0.68