Assertion list
shopping cart (subgroup of cart ) → HasA
Results from Ascent++: 1
shopping cart → HasA → front end 0.68