Assertion list
downy woodpecker (subgroup of woodpecker ) → IsA
Results from Ascent++: 1
downy woodpecker → IsA → the smallest woodpecker 0.68