Assertion list
sleeper sofa (subgroup of sofa ) → HasProperty
Results from Ascent++: 1
sleeper sofa → HasProperty → comfortable 0.16