Assertion list
solar system (primary) → IsA
Results from Ascent++: 4
solar system → IsA → bound system 0.44
solar system → IsA → place 0.34
solar system → IsA → a dual star system 0.28
solar system → IsA → solar system 0.25