Assertion list
disk (aspect of sun ) → HasProperty
Results from Ascent++: 3
disk → HasProperty → black 0.48
disk → HasProperty → small 0.45
disk → HasProperty → tangential 0.25