Assertion list
true fly (subgroup of fly ) → IsA
Results from Ascent++: 1
true fly → IsA → insects of the order 0.68