Assertion list
annular eclipse (subgroup of eclipse ) → HasProperty

Results from Ascent++: 1
annular eclipseHasProperty visible 0.68