Assertion list
maximum eclipse (subgroup of eclipse ) → ReceivesAction
Results from Ascent++: 1
maximum eclipse → ReceivesAction → witnessed at 5.41am 0.25