Assertion list
temperature (aspect of star ) → AtLocation

Results from Ascent++: 1
temperatureAtLocation the range 0.25