Assertion list
partial eclipse (subgroup of eclipse ) → HasProperty
Results from Ascent++: 2
partial eclipse → HasProperty → visible 0.64
partial eclipse → HasProperty → unnoticeable 0.25