Assertion list
airline credit card (subgroup of credit card ) → HasProperty
Results from Ascent++: 1
airline credit card → HasProperty → the easiest 0.25