Assertion list
pup (primary) → IsA
Results from Ascent++: 3
pup → IsA → dog 0.53
pup → IsA → top dog 0.32
pup → IsA → indoor dogs 0.25