Assertion list
adult fly (subgroup of fly ) → IsA
Results from Ascent++: 2
adult fly → IsA → ready to mate 0.28
adult fly → IsA → strong fliers 0.25