Assertion list for term "rotating neutron star".

Results from Ascent++: 1
pulsar IsArotating neutron star 0.68