Assertion list
sectional sofa (subgroup of sofa ) → IsA

Results from Ascent++: 1
sectional sofaIsA better alternative 0.59