Assertion list
bright star (subgroup of star ) → IsA
Results from Ascent++: 23
bright star → IsA → arctaurus 0.46
bright star → IsA → menkar 0.45
bright star → IsA → spica 0.45
bright star → IsA → alnitak 0.39
bright star → IsA → polaris 0.39
bright star → IsA → sirius 0.39
bright star → IsA → aldebaran 0.36
bright star → IsA → antares 0.36
bright star → IsA → magnitude 0.35
bright star → IsA → capella 0.34
bright star → IsA → deneb 0.34
bright star → IsA → vega 0.34
bright star → IsA → the north star 0.31
bright star → IsA → jupiter 0.27
bright star → IsA → planet 0.27
bright star → IsA → procyon 0.27
bright star → IsA → regulus 0.27
bright star → IsA → the brightest star 0.27
bright star → IsA → betelgeuse 0.22
bright star → IsA → great concentrated balls of lig… 0.22
bright star → IsA → altair 0.16
bright star → IsA → castor 0.16
bright star → IsA → pollux 0.16