Assertion list
phase (aspect of moon ) → AtLocation
Results from Ascent++: 1
phase → AtLocation → progress 0.35