Assertion list
binary star (subgroup of star ) → IsA
Results from Ascent++: 2
binary star → IsA → a star system 0.52
binary star → IsA → just one star 0.31