Assertion list for term "white dwarf".

Results from Ascent++: 1
binary star (subgroup of star) HasAwhite dwarf 0.25