Assertion list for term "the closest star".

Results from Ascent++: 1
sun IsAthe closest star 0.42