Assertion list
travel credit card (subgroup of credit card ) → IsA
Results from Ascent++: 1
travel credit card → IsA → a credit card 0.25