Assertion list
flying bird (subgroup of bird ) → HasA

Results from Ascent++: 1
flying birdHasA keel 0.84