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