Assertion list
heliosphere (primary) → HasA
Results from Ascent++: 2
heliosphere → HasA → entire solar magnetic field 0.25
heliosphere → HasA → solar wind 0.25