Assertion list
cushion (aspect of sofa ) → HasA
Results from Ascent++: 2
cushion → HasA → zipper 0.43
cushion → HasA → button 0.36