Assertion list
aurora borealis (primary) → IsA
Results from Ascent++: 1
aurora borealis → IsA → aurora australis 0.30