Assertion list
bright comet (subgroup of comet ) → HasProperty
Results from Ascent++: 1
bright comet → HasProperty → visible 0.72