Assertion list for term "superdense neutron stars".

Results from Ascent++: 1
pulsar CapableOfsuperdense neutron stars 0.31