Assertion list
neutron star (subgroup of star ) → ReceivesAction
Results from Ascent++: 2
neutron star → ReceivesAction → formed 0.70
neutron star → ReceivesAction → discovered 0.25