Assertion list for term "neutron stars".

Results from Ascent++: 1
pulsar IsAneutron stars 0.81