Assertion list
new credit card (subgroup of credit card ) → IsA
Results from Ascent++: 1
new credit card → IsA → good way 0.16