Assertion list
binary star (subgroup of star ) → HasA
Results from Ascent++: 3
binary star → HasA → cataclysmic variable stars 0.25
binary star → HasA → super soft x-ray sources 0.25
binary star → HasA → white dwarf 0.25