Assertion list
new bridge (subgroup of bridge ) → HasA
Results from Ascent++: 1
new bridge → HasA → wider shoulders 0.19