Assertion list
neutron star (subgroup of star ) → HasA
Results from Ascent++: 2
neutron star → HasA → strong magnetic fields 0.42
neutron star → HasA → crust 0.25