Assertion list
new accord (subgroup of accord ) → HasA

Results from Ascent++: 1
new accordHasA longer wheelbase 0.68