Assertion list
major airline (subgroup of airline ) → IsA
Results from Ascent++: 1
major airline → IsA → british airways 0.35