Assertion list
saint bernard (primary) → IsA
Results from Ascent++: 2
saint bernard → IsA → large dog 0.49
saint bernard → IsA → dog 0.36