Assertion list
honda insight (subgroup of insight ) → IsA
Results from Ascent++: 1
honda insight → IsA → hybrid sedan 0.53