Assertion list
ray (aspect of sun ) → HasA
Results from Ascent++: 1
ray → HasA → the least distance 0.25