Assertion list
flying bird (subgroup of bird ) → IsA
Results from Ascent++: 2
flying bird → IsA → chaffinch 0.68
flying bird → IsA → goldfinch 0.68