Assertion list
adult fly (subgroup of fly ) → CapableOf
Results from Ascent++: 1
adult fly → CapableOf → lay egg 0.55