Assertion list
neutron star (subgroup of star ) → IsA
Results from Ascent++: 1
neutron star → IsA → star 0.54