Assertion list
star (aspect of andromeda galaxy ) → HasProperty
Results from Ascent++: 1
star → HasProperty → visible 0.73