Assertion list
business credit card (subgroup of credit card ) → HasA
Results from Ascent++: 1
business credit card → HasA → limit 0.25