Assertion list
eclipse (primary) → IsA
Results from Ascent++: 2
eclipse → IsA → phenomenon 0.41
eclipse → IsA → natural phenomenon 0.39