Assertion list
domestic pigeon (subgroup of pigeon ) → IsA
Results from Ascent++: 1
domestic pigeon → IsA → pigeon 0.25