Assertion list
zodiac (primary) → IsA
Results from Ascent++: 1
zodiac → IsA → book 0.35