Assertion list
pulsar (primary) → IsA
Results from Ascent++: 4
pulsar → IsA → neutron stars 0.81
pulsar → IsA → rotating neutron star 0.68
pulsar → IsA → magnetized rotating neutron star 0.50
pulsar → IsA → star 0.40