Ascent++
Search
Assertion list
for term "neutron stars".
Results from
Ascent++
:
1
pulsar
→
IsA
→
neutron stars
0.81