Assertion list
good business card (subgroup of business card ) → HasA
Results from Ascent++: 1
good business card → HasA → basic 0.68