Assertion list
ottoman (primary) → HasA
Results from Ascent++: 2
ottoman → HasA → a stretch functions 0.53
ottoman → HasA → storage 0.25