Assertion list
honda accord (subgroup of accord ) → HasProperty
Results from Ascent++: 2
honda accord → HasProperty → new 0.30
honda accord → HasProperty → good 0.22