Assertion list
total eclipse (subgroup of eclipse ) → HasProperty
Results from Ascent++: 3
total eclipse → HasProperty → visible 0.72
total eclipse → HasProperty → rare 0.36
total eclipse → HasProperty → more likely 0.25