Assertion list
morning star (primary) → HasProperty
Results from Ascent++: 4
morning star → HasProperty → visible 0.38
morning star → HasProperty → the brightest 0.29
morning star → HasProperty → open 0.16
morning star → HasProperty → unique 0.16