Assertion list
fabric sofa (subgroup of sofa ) → IsA
Results from Ascent++: 1
fabric sofa → IsA → perfect option 0.16