Assertion list
disk (aspect of sun ) → ReceivesAction
Results from Ascent++: 3
disk → ReceivesAction → obscured by the moon 0.68
disk → ReceivesAction → covered 0.48
disk → ReceivesAction → viewed 0.25