Assertion list
andromeda galaxy (primary) → IsA
Results from Ascent++: 3
andromeda galaxy → IsA → spiral galaxy 0.68
andromeda galaxy → IsA → the closest major galaxy 0.47
andromeda galaxy → IsA → the largest galaxy 0.27