Assertion list
symbol (primary) → IsA
Results from Ascent++: 1
symbol → IsA → thing 0.57