Assertion list
penumbral eclipse (subgroup of eclipse ) → HasProperty

Results from Ascent++: 1
penumbral eclipseHasProperty visible 0.68