Assertion list
canadian bacon (subgroup of bacon ) → HasA
Results from Ascent++: 1
canadian bacon → HasA → less fat 0.68