Assertion list
nova (primary) → IsA
Results from Ascent++: 2
nova → IsA → old star 0.35
nova → IsA → star 0.27