Assertion list for term "spiral galaxy".
Results from Ascent++: 1
andromeda galaxy → IsA → spiral galaxy 0.68